properly DUMP op names