auto-generate library stubs that abort for missing library functions, and implement DEAD_FUNCTIONS that way
update tests