more on ORIG_HEAD etc