#include <webots/robot.h>
int main(void) {
double (*c_symbol)(void) = &wb_robot_get_time;
(void)c_symbol;
return 0;
}