#include <varargs.h>
/*
XOPEN(4,600)
*/