function get_inf() { if (always_true()) { return INF; } else { return 0; } }
function noinline($x) { if (always_true()) { return $x; } else { return null; } }