#! /bin/bash -eu
# Last edited on 2026-02-07 02:47:04 by stolfi

make -f Makefile all