dc.int u32_add(dc.dynamic x$1, dc.dynamic y$1, ){ return (4294967295&((x$1 as dc.int)+(y$1 as dc.int))); }