implement dump operator