Symbol: dt_printf_getint