Capturing this here as a pointer to https://github.com/tock/libtock-c/pull/280, which is part of what should eventually be on a documentation page for this. <img width="1400" alt="image" src="https://github.com/user-attachments/assets/1cd38597-ba27-4c2a-bd30-f3c3e6711e72">