Jungle music is a kind of techno music.