first n characters
Mechanism: helper assert guarded by condition false at runtime
