Why is it string here? Shouldn't `substr(substr(dredd, 1), 0, 3)` be ident? Looks like a bug.