porting leviathan