function main() -> u32[3] {
  return [1u32, 1u32, 1u32]
}