Test rt_printf()