proc foo = (if)