main :: () -> void {
  b : *u64 = null;
};