channel GPS_In {
	out longitude(prev_long: Double, updateGPS(cur_long, cur_lat)) == cur_long
	out latitude(prev_lat: Double, updateGPS(cur_long, cur_lat)) == cur_lat
}

channel LongUpdate {
	in longitude(prev_long, updateLong(cur_long)) == cur_long
	out mapLongitude(prev_mapLong, updateLong(cur_long)) == cur_long
}

channel LatUpdate {
	in latitude(prev_lat, updateLat(cur_lat)) == cur_lat
	out mapLatitude(prev_mapLat, updateLat(cur_lat)) == cur_lat
}