Jcalin: Verified