Not strictly true, it is quite possible to statically resolve many uses of function pointers.