BINARY_PRINT_DATA_END
case BINARY_PRINT_DATA_END:
printed += printer(BINARY_PRINT_DATA_END, -1, extra, fp);