core_option_Option_05
core_option_Option_05 hint0 = { .tag = core_option_None };
KRML_CLITERAL(core_option_Option_05){
