int rowSpanValue = ((IntToken) rowSpan.getToken()).intValue();
// FIXME: We are not enforcing that the input is a matrix.
// How to do this?
MatrixToken inputValue = (MatrixToken) input.get(0);
output.send(0, inputValue.crop(rowValue, columnValue, rowSpanValue,
columnSpanValue));
}
}