Record returning functions x64

Make them work. Currently, the result is not passed on the stack leading to stack corruption