#ifndef CPU_CONTRACT_H
+#include "aquosa/qres_lib.h"
+#include "timespec_usec_ops.h"
+
typedef qres_params_t cpu_params_t;
+/* temporarily */
+typedef int* contract_t;
int get_cpu_vres(contract_t contract, qres_sid_t *vres);
int set_cpu_vres(contract_t contract, qres_sid_t vres);