/*!re2c
	*	{ return DEFAULT; }
*/