#include <inttypes.h>
void Lib_Memzero0_memzero0(void *dst, uint64_t len);
#define Lib_Memzero0_memzero(dst, len, t, _ret_t) Lib_Memzero0_memzero0(dst, len * sizeof(t))