The text 9eeb9901bd03, as Debian 12 (Bookworm) shipped it.
typedefs for HAL datatypes
hal_bool(3hal) on Linux now
