//#pragma select handler
#include <xs1.h>

/* TODO Currently complier does not support inline select functions, hense this is in a seperate file to ensure this is not the case */
#pragma select handler
static inline void testct_byref(chanend c, unsigned &isCt)
{
    if (testct(c)) 
    {
        isCt = 1;
    }
    else 
    {
        isCt = 0;
    }
}
//void testct_byref(chanend c, unsigned &isCt) ;