Crom: must again pass size to Crom_free() so that Crom_allocate() memory can be used completely arbitrarily.