primrec: added stub