// Remember (basic) type inference.
// The current data structure only allows us to do this for the whole block.
if (type != NULL && area1==real_addr_block1) {
// Remember (basic) type inference.
// The current data structure only allows us to do this for the whole block.
if (type != NULL && area1==real_addr_block1) {