The seq# case in the new codegen was being shadowed by a more general
case.