Write a function

void add$\_$with$\_$overflow$($uint$32\_$t x$,$ uint$32\_$t y$,$ uint$32\_$t$*$ result$\_$upper, uint$32\_$t$*$ result$\_$lower$)$;

This function should perform the addition x $+$ y$.$ However, note that x $+$ y may overflow, so it might not be representable in $32$ bits. You should use the two $32$ bit result pointers to store the results of the addition so that if I treat result$\_$upper and result$\_$lower together as a single $64-$bit number, the output of your addition will be correct. Do not use any $64-$bit numbers in your function including implicitly casting any $32-$bit integers to $64-$bits. Here are some examples:

uint$32\_$t ru$,$ rl;

add$\_$with$\_$overflow$(0$x$00000001,0$x$00000002,$ &ru$,$ &rl$)$;

$//$ ru $=0$x$00000000,$ rl $=0$x$00000003$

add$\_$with$\_$overflow$(0$xFFFFFFFF$,0$x$00000001,$ &ru$,$ &rl$)$;

$//$ ru $=0$x$00000001,$ rl $=0$x$00000000$

add$\_$with$\_$overflow$(0$xC$82105$D$2,0$x$720$AF$4$E$0,$ &ru$,$ &rl$)$;

$//$ ru $=0$x$00000001,$ rl $=0$x$3$A$2$BFAB$2$