added: ensure_symbol