sig type t val magic_number : string end