#ifndef TIMER_H
#define TIMER_H

void timer_init(int n);

void timer_finalize();

void timer_start(int idx);

void timer_stop(int idx);

double timer_read(int idx);

void timer_reset(int idx);

#endif