#include int main() { webots::Robot *robot = nullptr; (void)robot; return 0; }