Assumes that an invocation of noop returns the value 0.
