{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                self.write_eh_pointer_data(val, eh_pe.format(), size)
            Address::Symbol { symbol, addend } => match eh_pe.application() {