--| Copyright (c) 1993-2006 University of Southern California and contributors. --| All rights reserved. --| Your use of this work is governed under the terms of the GNU General --| Public License version 2. class TEST inherit ANY creation default_create, make convert to_expanded: {expanded TEST} feature make is local n: INTEGER do n := weasel (Current); print (n > 0); io.new_line end; weasel (x: expanded TEST): INTEGER is external "C macro signature (EIF_INTEGER): EIF_INTEGER use %"eif_eiffel.h%"" alias "abs" end to_expanded: expanded TEST is do end end