/* mpt_debug.c functions */