Symbol: __GMP_H__