const x : int = 12;
const y : int = z + 3;
const z : int = x * 2;

function test(i: int) returns (a, b, c: int; exit: bool)
let
  exit = i >= 0;
  a = x;
  b = y;
  c = z;
tel