Taking care of symbols defined in mp_pol.c
Taking care of symbols defined in mp_wczyt.c