On Thu, Aug 31, 2017 at 8:54 AM, Marcus Denker <marcus.denker@inria.fr> wrote:

yes, some people use

1halt.