diff --git a/libs/core/ksbit.h b/libs/core/ksbit.h
index e182bdee..9f618477 100644
--- a/libs/core/ksbit.h
+++ b/libs/core/ksbit.h
@@ -6,3 +6,6 @@ MicroBitPin *getPin(int id);
 typedef ImageData* Image;
 typedef BufferData* Buffer;
 
+namespace pxt {
+  uint32_t afterProgramPage();    
+}