legalize truncs from legal values into illegal values
add testcase