Symbol: picl_retfini_t