support for smemory in record/replay mode.  See --smemory options in replay.js, record.js, and instrumentDir.js