TEST: CASE11(re)