proc main { return 1 }