//ww:run-exit 1
package main;
def C: [_]int = [9];
export fn main() i32 = { return C.len: i32; };