$(SML_LIB)/basis/basis.mlb ann "allowVectorExps true" in ../data-sets/seph.sml end transaction.sml run.sml ../src/gap_buffer.sml gap_buffer_seph.sml