Remove proc()

This is now gone.