declared with GPL