sig
type
t
val
magic_number : string
end