To get "exact" restart behavior we'd need to emit a separate xlog record for each nextval() command, which seems like a pretty high price considering that you cannot assume no holes in the sequence values anyway.
Hi, Why not give the choice at compile-time ? Philippe.
