#ifndef __DIFFTEST_DEF_H__
#define __DIFFTEST_DEF_H__
#endif