//ww:run-exit 3
package main;
def K: i32 = 3;
type t = i32;
export fn main() i32 = { let x: t = K; return x: i32; };