lambda_mountain 1.12.1

preprocess := λ. (: (tail(
   ()
   ()
)) Nil);