Code i-mingo. Added on 1997-09-19. Mingo