@@ -1,11 +0,0 @@
#include "datatypes.h"
/* Push Value to thread */
void gst_thread_push(Gst *vm, GstThread *thread, GstValue x) {
}
/* Push stack frame to thread */
void gst_thread_pushframe(Gst *vm, GstThread *thread, GstValue callee) {
The note is not visible to the blocked user.