id     = "BUILTIN"
name   = "Builtin theory"
header = "options/builtin_options.h"