GNU Space Case 16-17