Verification Academy
amsaveni.c