#include <stdlib.h>

void *valloc(size_t size)
{
}

/*
XOPEN(400,600)
*/