hpmc_tramp_end
extern uint32_t hpmc_v[], hpmc_tramp[], hpmc_tramp_end[];
for (p = hpmc_tramp; p < hpmc_tramp_end; p++)
p[7] = (hpmc_tramp_end - hpmc_tramp) * sizeof(uint32_t);