main :: () -> void { fun(); a = 2; fun(); a = b; fun(); }; a := 1; b := 124; fun :: ()->void { print_u64 a; };