type foo = u32
resource bar