Translated some of the special cases to nmigen