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