void _printtsth(int32 *str, int32 num) { _print(str); itoah(num, buf); _print(buf); _print("\n"); }
void _printpos(int32 *str, int32 *ptr) { int32 p = _ptrint(ptr); itoah(p,tmp); _print(str); _print(tmp); _print("\n"); }
void _printtst(int32 *str, int32 num) { int32 buf[32]; _print(str); itoah(num, buf); _print(buf); _print("\n"); }