Additional test for PR gcj/148: