/* $Header $ */ _hlt(nr) int nr; { exit(nr); }