* Since the forall preprocessor follows the order of declaration when
generating the do loops, the longest loop must be last one.