pvalchev b866080233 short gets promoted to int as va_arg type		2002-11-28 20:34:58 +00:00
..
patch-print_c	short gets promoted to int as va_arg type	2002-11-28 20:34:58 +00:00