void fuzz2_cppvararg(unsigned longlong arg10, unsigned longlong arg11, bool arg12)
{
fuzz2_checkValues(arg10, arg11, arg12);
}
void fuzz2_cppvararg(uint64_t arg10, uint64_t arg11, bool arg12)
{
fuzz2_checkValues(arg10, arg11, arg12);
}