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