Which of the following is a state function?