This are just simple files used to test the encodings of thumb and thumb2
instructions.

