__profile_release
if ((code = __profile_release(profile)) != 0)
long __profile_release(profile_t profile);