rename "dec" -> "decl"