+ "WITH-CIRCULARITY-DETECTION" "WRONG-NUMBER-OF-INDICES-ERROR"
+
+ ;; bit bash fillers (FIXME: 32/64-bit issues)
+ "UB1-BASH-FILL" "SYSTEM-AREA-UB1-FILL"
+ "UB2-BASH-FILL" "SYSTEM-AREA-UB2-FILL"
+ "UB4-BASH-FILL" "SYSTEM-AREA-UB4-FILL"
+ "UB8-BASH-FILL" "SYSTEM-AREA-UB8-FILL"
+ "UB16-BASH-FILL" "SYSTEM-AREA-UB16-FILL"
+ "UB32-BASH-FILL" "SYSTEM-AREA-UB32-FILL"
+ "UB64-BASH-FILL" "SYSTEM-AREA-UB64-FILL"
+
+ ;; bit bash copiers (FIXME: 32/64-bit issues)
+ "UB1-BASH-COPY" "SYSTEM-AREA-UB1-COPY"
+ "COPY-UB1-TO-SYSTEM-AREA" "COPY-UB1-FROM-SYSTEM-AREA"
+ "UB2-BASH-COPY" "SYSTEM-AREA-UB2-COPY"
+ "COPY-UB2-TO-SYSTEM-AREA" "COPY-UB2-FROM-SYSTEM-AREA"
+ "UB4-BASH-COPY" "SYSTEM-AREA-UB4-COPY"
+ "COPY-UB4-TO-SYSTEM-AREA" "COPY-UB4-FROM-SYSTEM-AREA"
+ "UB8-BASH-COPY" "SYSTEM-AREA-UB8-COPY"
+ "COPY-UB8-TO-SYSTEM-AREA" "COPY-UB8-FROM-SYSTEM-AREA"
+ "UB16-BASH-COPY" "SYSTEM-AREA-UB16-COPY"
+ "COPY-UB16-TO-SYSTEM-AREA" "COPY-UB16-FROM-SYSTEM-AREA"
+ "UB32-BASH-COPY" "SYSTEM-AREA-UB32-COPY"
+ "COPY-UB32-TO-SYSTEM-AREA" "COPY-UB32-FROM-SYSTEM-AREA"
+ "UB64-BASH-COPY" "SYSTEM-AREA-UB64-COPY"
+ "COPY-UB64-TO-SYSTEM-AREA" "COPY-UB64-FROM-SYSTEM-AREA"