Use (very slightly) smaller magic numbers