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