out uint8 s 4 in uint32 x call uint32_store