dbInk(dgRGB(255,255,255), dbRGB(255,255,255)); Will make both the foreground and the background white. However it don't do it now, but I recommend that you should change the code into dbInk(dgRGB(255,255,255), 0); If you want to color the background, you should use CLS([color]);.
You must turn sync on (dbSyncOn(); at the beginning of the main function) and place dbSync(); into the main loop in order to view the text.
To print the score, you can use strings or a char array. If you choose the char array alternative, you shold use the strcat function. I don't know how to use strcat, so I use strings instead:
#include "DarkGDK.h"
#include "string.h"
using namespace std;
string text;
int points = 7;
void DarkGDK ( void )
{
dbSyncOn();
dbInk(dbRGB(255,255,255), dbRGB(255,255,255));
while(LoopGDK())
{
text = "Score: ";
text += dbStr(points);
dbText(200, 0, (char *)text.c_str());
dbSync();
}
}