Dump result of execution will only be used in Or1ksim.