Symbol: interpret_pmap_2