credgen.mli 24 Bytes