Update prealloc.ml