#ifndef __rcs_id__
#ifndef __rcs_id_ct_ccall_c__
#define __rcs_id_ct_ccall_c__
static const char __rcs_id_ct_ccall_c[] = "$Id: ccall.c,v 1.2 1999/02/19 09:25:28 stephensk Exp $";
#endif
#endif /* __rcs_id__ */


void ct_ccall(ct_v *result, void (*func)(), ct_t func_t, int nargs, ct_v *args)
{
}