ircv3: use HALTCORE instead