Better treatment of FunPtr