Symbol: alloc_l1_pt