[aidenn0]

Won't tagbody/go with an array of symbols work for jump tables (assuming GO is O(1)?):

    (tagbody
      (go (aref #(a b c d) N))
      a
      ...
      b
      ...
      c
      ...
      d))

[ScottBurson]

Alas, no; 'go' is a special form — its argument is unevaluated.

[aidenn0]

Indeed it appears so. Strangely enough, the hyperspec doesn't specify that it's not evaluated.

[dan-robertson]

For special forms I think it’s implied that the arguments aren’t evaluated (as they are special) unless stated otherwise.

[aidenn0]

At least some forms say explicitly evaluated or not.