$MDB -e '::typedef lp32; ::typedef uint8_t 42foo'
