;
extern struct platform platforms;
// get length of platforms[]
unsigned int ;
// get platform entry encoded n (first byte for input data of OSS fuzz)
unsigned int ;
// get cstoolname from encoded n (first byte for input data of OSS fuzz)
const char *;