From Shift by Ernie Gehr.