（人名）Devasena，罗汉名。译作天军。见西域记四。