main :: () -> void {
  a :u64= 2;
  b : *u64 = &a;
};