#pragma select handler
void testct_byref(chanend c, unsigned &isCt) ;