F.2.1 Function Body Lowering
The C backend lowers udewy's parser-driven value-stack events into ordinary C locals and statements. Generated function bodies use readable names such as arg0, local0, and t0 rather than a runtime _ud_v / _ud_saved stack. Values are still materialized into temporaries at sequencing boundaries, especially function-call arguments, so udewy's left-to-right evaluation order does not depend on C's argument evaluation order.
Internal udewy functions use readable mangled C names such as udewy_fn_print_bytes_2, while real extern symbols preserve their linked C names. Generated helper and wrapper symbols keep the udewy_ prefix.
Because generated function-local names are intentionally concise, imported C headers that define macros named t0, local0, arg0, and so on could conflict during preprocessing. Avoid importing headers with macros that use those exact names, or add a backend-specific wrapper if such a header must be used.