type t = int val x = 0