Text this: Reversibility in space-bounded computation.