prove rows is linear time and define rows1 to be (rows 1).
inline a few random functions that do nothing in the extraction