Define PINOCCHIO_OPTIONS_DEFAULT

Define Documentation

PINOCCHIO_OPTIONS_DEFAULT