just enough change in compiler&stdlib so 1+1 works