trivial_rdline: use the pager in this example