xenrec man page