e.g. just another equivalence define in loops.h.src, note the file is not automatically regenerated (we should fix that too)