* Since all code is included in `all.cpp`, several identically named static functions have been renamed to avoid conflicts.