as used by for example https://online.interlisp.org/