#include "macros"

/* Main */
Switch 1a c ZERO;
Switch 2a a ZERO;
Switch 3a b ZERO;
Switch 5a x ZERO;
Switch 6a y ZERO;
One_Bit_ALU 2b-3b a b c x y| z c-out;
Probe 2c z;
Probe 3c c-out;
