var a : int


fun f() : void = none<=none<=none