More debug symbols