Symbol: xlate_obs2exp