Documented expected value and side effect