Hi, I've seen that if I'm going to leave a pointer to data in the hands of foreign code, I should use StablePtr so that the value it points to doesn't change. However, we also usually give FunPtr to foreign code, like when registering callbacks, but I can't found any kind of "StableFunPtr". Are all FunPtrs stable? Thanks, Maurício