#abstract-interpretation