a->_#ast:formal->index