Mark the roles of Ptr and FunPtr as R, not P!