srl128
srl128(&hrm, &lrm, (126 - 55));
srl128(&hrm, &lrm, s);
srl128(&hzm, &lzm, s);
srl128(&hzm, &lzm, 1);
srl128(&hzm, &lzm, (126 - 55));