Trivial but occasionally useful functions intended for use as callbacks.