each scbc file in this directory is handwritten and its name specifies which
instruction it tests.