RNT/lib/kernel/Journal.ml, branch session