-static void ao_scheme_invalid_write(ao_poly p, bool write) {
- printf("??? type %d poly 0x%04x ???", ao_scheme_poly_type (p), p);
+static void ao_scheme_invalid_write(FILE *out, ao_poly p, bool write) {
+ fprintf(out, "??? type %d poly 0x%04x ???", ao_scheme_poly_type (p), p);