NavelRock_Exterior_MapWarps: @ 853DA00
	warp_def 10, 18, 0, 0, MAP_NAVEL_ROCK_HARBOR
	warp_def 10, 10, 0, 1, MAP_NAVEL_ROCK_ENTRANCE

NavelRock_Exterior_MapEvents:: @ 853DA10
	map_events 0x0, NavelRock_Exterior_MapWarps, 0x0, 0x0