added opt-list, added SyncMemoryStmt