Checkpoint.
Simplify list_append slightly.
Tweak debug print.