stretch.mli 1 KB