uint128_increment
uint128_increment(&fortuna_state.fs_counter);
uint128_increment(ctr);
uint128_increment(&a);