flatten.mli 100 Bytes