The text c58c724bb767, as Debian 11 (Bullseye) shipped it.
Value declarations
Ast_helper.Val(3o) on Linux now