use type name `Level' for level number