userlib: printf()