@(a:U32) @(b:U32) U32