TCIC_ISA_ALLOC_IOSIZE
#ifndef TCIC_ISA_ALLOC_IOSIZE
int tcic_isa_alloc_iosize = TCIC_ISA_ALLOC_IOSIZE;