Notching Code

Another name for Notch Code. Redirecting you…