/*global*/  void endins(void);