Parameter Make.I

type t
val magic_number : string