Add an example which shows how unnecessary boxing was removed.