void __taint2_labelset_ram_iter(uint64_t pa, int (*app)(uint32_t el, void *stuff1), void *stuff2) { tp_ls_ram_iter(shadow, pa, app, stuff2); }
uint32_t __taint_pick_label(uint64_t pa) { uint32_t result = ~0; tp_ls_ram_iter(shadow, pa, put_int, &result); return result; }