let type t = int in 0 end