A JET implementation in ANSI C