Answer the question in the FIXME: "Do port semantics really guarantee these [operations] happen in order?"