A program test for OCP and DIP.