* device/lib/printf_large.c: pointer was converted to generic pointer for mcs51 model...