The default definition defines the type for the default case.
not supported
default_def := _default ':'