This way, we can hide auxiliary symbols from library users, but still allow them to use hidden symbols