testing ifdeftoif semantics with gcc + binary execution