integer_constant
val_t *v = integer_constant(tn, required);
val_t *integer_constant(tnode_t *, bool);
val_t *v = integer_constant(tn, true);