#!/bin/bash -f
# Last edited on 2025-09-24 14:22:15 by stolfi