Tests for address op_returns