Partial work on simulator, change memory model to signed integers