adamc@55: type t = int adamc@55: val x = 0