test/statement/bug5715.cpp Added copyright and licence.