The text 0438820649d2, as Debian 12 (Bookworm) shipped it.
Check AST invariants
Ast_invariants(3o) on Linux now
