debug semantics of StartOf