lart
lart copied to clipboard
lart: implement widening