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