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>;