def do_something<number> {
  output "Letter: ";
  output 'a' + number;
  output '\n';
}

def repeat<times> {
  let i = 0;
  drain times into i {
    do_something<i>;
  }
}

let repetitions = 8;
repeat<repetitions>;