structure M = struct type t = int end val x = 0