Pack: Minimal loops by alveg