removed high_level.c replaced by navigate.c in previous commit