__attribute__((deprecated)) void start(int);