The text c2f1365706c1, as Debian 12 (Bookworm) shipped it.
Introduction to the HAL API
intro(3hal) on Linux now
