Would these autogenerated function names ever appear in error messages, or otherwise be visible to the user?