bitmanip: sync shadd/shadduw pseudocode