Symbol: val32_pdp_to_big