This completes the removal of the monolithic fake-lib.[ch].
Now any failing bounds check causes the whole function to fail, rather than returning a made-up value.