#include /* FIXME */ long random() { return rand(); }