externalinteger two
externalintegerspec three

endoffile