<_build_zarith> or <_build_num> : not_hygienic
