@(a:U16) @(b:U16) U16