added valloc() to the header file