Checkpoint: get list_append (apparently?) working.