#include <stdlib.h>
extern void * xmalloc (size_t n)
#ifdef DECLARE_MALLOC
  __attribute__ ((__malloc__))
#endif
  ;
int* valloc3 (int *px, int *py, int *pz)
{
    int *new_vector = (int *) xmalloc (3 * sizeof (int));
    new_vector[0] = *px;
    new_vector[1] = *py;
    new_vector[2] = *pz;
    return new_vector;
}