Top level loop instantiation for loop attr.