#include <stdint.h>
#include <string.h>

void foo(uint8_t* Res, uint8_t const* A, uint8_t const* B)
{
  __uint128_t ret,a,b;
  memcpy(&a, A, sizeof(a));
  memcpy(&b, B, sizeof(b));
  ret = a/b;
  memcpy(Res, &ret, sizeof(ret));
}