https://github.com/LudwigOrtmann/RIOT/blob/c1c6287ef7397c133511e15107941e3a2d1e206c/core/include/msg.h#L54

`msg.content.value` is a `uint32_t`