The CursorBase::at_* are convenience methods for building a cursor that points to a specific instruction.