(program 1.0.0
    [(builtin sha2_256) (con bytestring #54686543616B654973414C6965)]
)