Maintain ordering in PermissiblePEX