scratch32 = *(unsigned int *)(p->fb + offset);
scratch32 = *(volatile unsigned int *)(p->fb + offset);
void pnozz_write_4(PnozzPtr p, int offset, unsigned int value){	scratch32 = *(unsigned int *)(p->fb + offset);	*((volatile unsigned int *)(p->fbc + offset)) = value;}