Loop and efficiency? Please save us! I write using the mapping/sequence functional form and then add a compiler:optimizer that will turn it into a call to a hand-microcoded %SEQUENCE-FROB-CASE-XXX instruction. You cant get any more efficient than that.