void * ghcjs_currentWindow() { return 0; }

void * ghcjs_currentDocument() { return 0; }