add print_int(), print_str(), s32_itoa_s()