Revert "prufun"

This reverts commit d9446bbd8b99c0c2657fc7f9870d0837e15033b4.