+Environment* Thread_getEnvironment(Thread* self) {
+ return self->environment;
+}
+
+void Thread_setProgramCounter(Thread* self, size_t programCounter) {
+ self->programCounter = programCounter;
+}
+
+void Thread_incrementProgramCounter(Thread* self) {
+ self->programCounter++;
+}
+
+size_t Thread_getProgramCounter(Thread* self) {
+ return self->programCounter;
+}
+