let alpha x y = compare_token x y 0 0