Everything annotated and passing verification.