const empty_sigset = array_mul;