create recfun assignment and tailrec session