use new ConstDef-syntax for main