fn main() @bb0: {}@bb2