fun main(n: int): [n]int = iota n