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