/*
 */

FBSD_1.0 {
	fpgetmask;
	fpgetround;
	fpsetmask;
	fpsetround;
};

FBSD_1.5 {
	fpgetsticky;
	fpsetsticky;
};