step 1: get the Cilk FFI stuff type checking