/*global*/  int start(void);