implement dump-cox operator