Prime_symbol loading ...