* same value for the exact same arguments. This implies that the function
* must not use global variables, or dereference pointer arguments.
*/
* same value for the exact same arguments. This implies that the function
* must not use global variables, or dereference pointer arguments.
*/