checked incl/decl operating