Uncompilable notes on verifying data dependence loops fairly generically.