compact loops