devilman
not defined yet