| 292 | } |
| 293 | |
| 294 | static void runtime_put_u64(uint8_t *out, uint64_t value) { |
| 295 | for (size_t i = 0; i < 8; i++) { |
| 296 | out[i] = (uint8_t)(value >> (56 - i * 8)); |
| 297 | } |
| 298 | } |
| 299 | |
| 300 | static uint64_t runtime_get_u64(const uint8_t *in) { |
| 301 | uint64_t value = 0; |
no outgoing calls
no test coverage detected