a missing interface for JudgeStruct