$ 0 0 what is the syntax to write a memory block to disk? writemem filename $aaaa $bbbb does not work?