How to use write-hashtbl?

The only existing instruction is