VFALSE
case VFALSE: case VTRUE: {
case VFALSE:
case VNIL: case VFALSE: {
case VNIL: case VFALSE: {
e->k = VFALSE;
if (v.k == VNIL) v.k = VFALSE; /* `falses' are all equal here */
init_exp(v, VFALSE, 0);