(MP_DOFPRINTFR): cope with null pointers.