void debugAllocation(String name, int address, int len) { print("$name - address: $address ; len: $len"); }