/* MEMX: message identifiers */