mkReg(0) works