a post office automaton