[throw-qqqqq]

Lisp-like languages with their S-expression syntax (or lave of same) makes this very easy to do at least.

Abstract interpretation is super easy to implement over Lisp-like languages IMO.