defined_names_simple: initial