Added type definition for postfix main.