might have fixed typedef error in check17