Try to run following example, it _must_ print 1234 and print
in all systems expect FreeBSD. Arg length is fatal: when commented
and uncommented lines flipped, it works, i.e. it works for
int-sized first argument. stdarg.h have some code to handle non-int
args in va_start, but it doesn't help here.

Fix: 

Don't known. Probably stdarg.h promote macro needs to be fixed.
How-To-Repeat: 
#include <stdarg.h>

void f(unsigned char l, ...)
/*void f(int l, ...)*/
{
	va_list a;
	va_start(a, l);
	printf("%d\n", va_arg(a, int));
}
main() {
	f(0,1234);
}