compilation proof of the current functions