LDC_MSG_MAX
uint64_t lc_msg[LDC_MSG_MAX / 8];
ldc_send_msg(lc, p, min(len, LDC_MSG_MAX));
p += min(len, LDC_MSG_MAX);
len -= min(len, LDC_MSG_MAX);