postfix implementation