pub const USER_CODE_SENTINEL: &str = "// ==== LOGOS user code (device-liftable) ====";Expand description
Marks the boundary between the fixed runtime/type prelude and the program’s own
code in a codegen_program_c translation unit. The CUDA AOT tier splits here to
lift the user code onto the device; it is an ordinary C comment to gcc.