$MDB -e "::typedef -c lp32; ::typedef uint8_t rm_t extra_t"
