rmixlfw_psb_type_name
rmixl_puts(rmixlfw_psb_type_name(rcp->rc_psb_type));
rmixlfw_psb_type_name(psb_type));