Added debugging symbols.