#! /usr/bin/python3
# Last edited on 2026-09-12 06:50:14 by stolfi

# To be included in python progs.

import sys, os, re
from sys import stderr as err
from math import inf, sqrt, nan, isnan, isfinite
from error_funcs import arg_error, file_line_error, prog_error