Updating: minorly tidying up a bit.
Updating: making linmap_randbst to work.