final int tag = intTagList.get(i).intValue();
final Block altBody = new Block();
final String dataConsName = typeCons.getNthDataConstructor(tag).getName().getQualifiedName();
altBody.addStatement (new JavaStatement.LineComment(dataConsName));
// We generate a call to unhandledSwitchIndex with the data cons name appearing as a string literal.
final MethodInvocation errorCall =
new MethodInvocation.Instance(null,
"unhandledSwitchIndex",