trap loops now use trap-like vectors