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