postfix notation for write statement