ACSL Elementary - Binary Counting, Addition and Subtraction