re-added putchar.s for stdio printf support