* device/lib/printf_tiny.c: replaced non-C89 comments '//' with '/* */'