Skipped because our fix to #14 brings back the RETURN statement.