TODO on promotion optimization.
Comments on timestamp generation.
Commt() takes errorIfConcurrent flag.