const x: i32 = 2;
export function echo(): i32 {
  const x: i32 = 42;
  return x;
}