13 void* VG_(malloc)(HChar* cc, SizeT nbytes)  in VG_()  function
15 void* VG_(realloc)(HChar* cc, void* p, SizeT size)  in VG_()  function
17 void  VG_(free)(void* p)  in VG_()  function
19 void  VG_(assert_fail)(Bool isCore, const Char* assertion, const Char* file,  in VG_()  function
35 void* VG_(memset)(void *s, Int c, SizeT sz)  in VG_()  function
37 void* VG_(memcpy)(void *d, const void *s, SizeT sz)  in VG_()  function
39 Int VG_(memcmp)(const void* s1, const void* s2, SizeT n)  in VG_()  function
41 UInt VG_(printf)(const HChar *format, ...)  in VG_()  function
43 UInt VG_(snprintf)(Char* buf, Int size, const HChar *format, ...)  in VG_()  function
45 SizeT VG_(strlen)(const Char* str) { return strlen(str); }  in VG_()  function
46 UInt VG_(message)(VgMsgKind kind, const HChar* format, ...)  in VG_()  function