Finished CCM code, attempting verification