Comment for gcc annotations