added more cilk support code