diff --git a/libs/core/ksbit.h b/libs/core/ksbit.h
index f1d3f4b5..e182bdee 100644
--- a/libs/core/ksbit.h
+++ b/libs/core/ksbit.h
@@ -6,7 +6,3 @@ MicroBitPin *getPin(int id);
 typedef ImageData* Image;
 typedef BufferData* Buffer;
 
-namespace pxt {
-  uint32_t programSize();
-  uint32_t afterProgramPage();    
-}
diff --git a/libs/core/pxt.h b/libs/core/pxt.h
index 9ecf2332..46c923ab 100644
--- a/libs/core/pxt.h
+++ b/libs/core/pxt.h
@@ -61,6 +61,8 @@ namespace pxt {
   uint32_t *allocate(uint16_t sz);
   int templateHash();
   int programHash();
+  uint32_t programSize();
+  uint32_t afterProgramPage();     
   int getNumGlobals();
   RefRecord* mkClassInstance(int vtableOffset);