* limit memory usage for mlton.