An ANSI C conformant JET implementation