json: Implement op_export