Symbol: interpret_pmap_4