CommonRoad
ge64neg