Symbol: sati_unmap_construct