video DDR RAM initialization seems to use an octal number???

BaS_gcc/sys/sysinit.c

@@ -560,6 +560,7 @@ void init_video_ddr(void) {
     _VRAM = 0x00060000; /* auto refresh */
     NOP();
 
+    /* FIXME: what's this? */
     _VRAM = 0000070022; /* load MR dll on */
     NOP();
 

BaS_gcc/tos/vmem_test/sources/vmem_test.c

@@ -155,7 +155,7 @@ void init_pll(void)
     xprintf("FPGA PLL initialization: ");
 
     wait_pll();
-    * (volatile uint16_t *) (pll_base + 0x48) = 27;	/* loopfilter  r */
+    * (volatile uint16_t *) (pll_base + 0x48) = 27;     /* loopfilter  r */
 
     wait_pll();
     * (volatile uint16_t *) (pll_base + 0x08) = 1;		/* charge pump 1 */