Update alloc.ml