pub fn compile_expr( input: &[Expr], v: &mut Vec<Variable>, ctx: Ctx, state: &mut State<'_>, ) -> Vec<Instr>