atm_output() must be serialized.