sig
type
a = int64
val
default : unit
->
a
end