I wonder if we should mark such functions as "private" (`puppet--`). I like it when it's apparent what's considered an API and what is not.