PUT_U32_BE
PUT_U32_BE(out, 0, reg0);
PUT_U32_BE(out, 1, reg1);
PUT_U32_BE(out, 2, reg2);
PUT_U32_BE(out, 3, reg3);