Fixed stdlib.ml