rlsim: checking for impossible truncation points. Thanks to Peter Glaus
for the bug report.
rlsim: gofmt.