/**
 * Send doubledown event
 *
 * Copyright (C) 2002-2003 Jim Woodgate - woody@realtime.net
 */

void main() {
  SignalEvent(OBJECT_SELF, EventUserDefined(203)); // double down
}