function dummy() { ; }
BEGIN { print dummy (1) }