meminj_preserves_globals now also preserves function pointers.