+#ifdef RTS_SUPPORTS_THREADS
+ // Threaded RTS:
+ // Arguments on the TSO stack are not good, because garbage
+ // collection might move the TSO as soon as we call
+ // suspendThread below.
+
+ void *arguments;
+
+ arguments = stgMallocWords(stk_offset,"bci_CCALL");
+ memcpy(arguments, Sp, sizeof(W_) * stk_offset);
+#endif
+