The text 65c56a243098, as Debian 10 (Buster) shipped it.
Check AST invariants
Ast_invariants(3o) on Linux now
