The text 1fb8e2facf3f, as Debian 10 (Buster) shipped it.
Abstract Built-in Data Types
abstractDataTypes(3clc) on Linux now
