Returns the starting write Timestamp*/
| 111 | |
| 112 | /** Returns the starting write Timestamp*/ |
| 113 | TIMESTAMP initialWriteTimestamp(void) { return 20000;} |
| 114 | |
| 115 | /** Returns the starting read Timestamp*/ |
| 116 | TIMESTAMP initialReadTimestamp(void) { return 20000;} |