#88 (review)
Besides, is also relevant to be able to distinguish several ABI versions at compile time. For example, if a function changes one param type, the compiler should complain that the lib function changed. Maybe this can be done by applying a mangling-like mechanism.
#88 (review)