Port support for "nonrec" extension