syscallrec -> rec as elsewhere
syscallrec -> rec
syscallrec -> rec