Bugfixes, relying on varargs to check alignment and memory overlap of all references within the loop body.