export - include ops count
Merge branch 'webchk0'
updated serialized dump (with op count)
Merge branch 'webchk0'