public static function f0($a1) { AA::f1($a1); }
public static function f0() { if (AA::f1()) { echo "aa1 != 0\n"; } }