funcons-lambda-cbv-mp-0.1.0.2: programs/basics1.cbv

let x = 3
in x