foreign(init, c, init).
foreign(add16, c, add16(+float,+float,-float)).
foreign(mul16, c, mul16(+float,+float,-float)).
foreign(sub16, c, sub16(+float,+float,-float)).
foreign(div16, c, div16(+float,+float,-float)).
foreign(sqrt16, c, sqrt16(+float,-float)).
foreign(muladd16, c, muladd16(+float,+float,+float,-float)).
foreign(add32, c, add32(+float,+float,-float)).
foreign(mul32, c, mul32(+float,+float,-float)).
foreign(sub32, c, sub32(+float,+float,-float)).
foreign(div32, c, div32(+float,+float,-float)).
foreign(sqrt32, c, sqrt32(+float,-float)).
foreign(muladd32, c, muladd32(+float,+float,+float,-float)).
foreign(add64, c, add64(+float,+float,-float)).
foreign(mul64, c, mul64(+float,+float,-float)).
foreign(sub64, c, sub64(+float,+float,-float)).
foreign(div64, c, div64(+float,+float,-float)).
foreign(sqrt64, c, sqrt64(+float,-float)).
foreign(muladd64, c, muladd64(+float,+float,+float,-float)).
foreign(add80, c, add80(+integer,+integer, +integer,+integer, -integer,-integer)).
foreign(mul80, c, mul80(+integer,+integer, +integer,+integer, -integer,-integer)).
foreign(sub80, c, sub80(+integer,+integer, +integer,+integer, -integer,-integer)).
foreign(div80, c, div80(+integer,+integer, +integer,+integer, -integer,-integer)).
foreign(sqrt80, c, sqrt80(+integer,+integer, -integer,-integer)).
foreign(add128, c, add128(+integer,+integer, +integer,+integer, -integer,-integer)).
foreign(mul128, c, mul128(+integer,+integer, +integer,+integer, -integer,-integer)).
foreign(sub128, c, sub128(+integer,+integer, +integer,+integer, -integer,-integer)).
foreign(div128, c, div128(+integer,+integer, +integer,+integer, -integer,-integer)).
foreign(sqrt128, c, sqrt128(+integer,+integer, -integer,-integer)).
foreign(muladd128, c, muladd128(+integer,+integer, +integer,+integer, +integer,+integer, -integer,-integer)).