pub static MP_UNDEF: mp_result