Counter with Double Increment - Bootstrap Typing CST Test