function foo:boolean;