subr_witness.c revision e6bdd477
1