NavelRock_Down08_MapWarps: @ 853DCC0
	warp_def 5, 5, 3, 1, NAVEL_ROCK_DOWN_07
	warp_def 3, 3, 3, 0, NAVEL_ROCK_DOWN_09

NavelRock_Down08_MapEvents:: @ 853DCD0
	map_events 0x0, NavelRock_Down08_MapWarps, 0x0, 0x0

