/*global*/  void halt(void);