type foo {a:i32 | b:string }

fn main()->u32{
    t1:foo = foo(29)
    t2:foo = foo("hello")
    r:i32 = match t1 {
        a:i32 => a
        _ => 0
    }
    s:string = match t2 {
        b:string => b
         _ => ""
    }
   print(s)
   return r
}