2006-12-01-TruncBoolBug.ll 171 Bytes