added synthesize pragma