void fuzz1_cppvararg(longlong arg10, longlong arg11, bool arg12) { fuzz1_checkValues(arg10, arg11, arg12); }
void fuzz1_cppvararg(int64_t arg10, int64_t arg11, bool arg12) { fuzz1_checkValues(arg10, arg11, arg12); }