new file:   verify/variant.c