while (--c > 0) {
stack[a + c - 1] = v.arg(c);
}
v = Constants.NONE; // TODO: necessary?
} else {
<BUG>top = a + v.narg();
</BUG>
}
continue;
}

while (--c > 0) {
stack[a + c - 1] = v.arg(c);
}
v = Constants.NONE; // TODO: necessary?
} else {
top = a + v.count();
}
continue;
}
