3.64: added get_symbol_maybe() and $mod->get_symbol()