@(value:(Word +32)) U32