Revert "Revert "prufun""

This reverts commit 05b48176df8527e5a02c636ab2369228adf3c69a.