/home/users/magnus_repository/magnus/front_end/gdb
