u32(ptr);</div>
<div class="line">    printf(<span class="stringliteral">&quot;u32 from void*: %u\n&quot;</span>, u32_from_ptr);</div>
<div class="line"> </div>
<div class="line">    <span class="comment">// Convert u32 to u8*</span></div>
<div class="line">    byte_ptr = ForceCast_pu8(value);</div>
<div class="line">    printf(<span class="stringliteral">&quot;u8* from u32: %p\n&quot;</span>, (<span class="keywordtype">void</span>*)byte_ptr);</div>
<div class="line"> </div>
<div class="line">    <span clas