SALSA3: AST serialization/deserialization