#include <driver.h>
Compiler options for the Spicy code generator.
true to have the generated code record fields' offsets