NavelRock_Entrance_MapWarps: @ 853DA70
	warp_def 10, 5, 3, 0, MAP_NAVEL_ROCK_B1F
	warp_def 10, 26, 3, 1, MAP_NAVEL_ROCK_EXTERIOR

NavelRock_Entrance_MapEvents:: @ 853DA80
	map_events 0x0, NavelRock_Entrance_MapWarps, 0x0, 0x0