SAFARI_ADDR_TO_P
SAFARI_ADDR_TO_SB(value), SAFARI_ADDR_TO_P(value),
SAFARI_ADDR_TO_P(value));
SAFARI_ADDR_TO_SB(value), SAFARI_ADDR_TO_P(value));
SAFARI_ADDR_TO_SB(value), SAFARI_ADDR_TO_P(value),
SAFARI_ADDR_TO_P(value));
sprintf_buf2(buf, "P%d", SAFARI_ADDR_TO_P(value));