def t : bool := true