// Function inputs are immutable by default.
function main(a: u32) {
  a = 0;
}