#include void* compute_nov() { return NULL; }