#ifndef __MICRO_H__
#define __MICRO_H__

#include <stdint.h>

int64_t micro(void);	/* Returns a timestamp in microseconds. */

#endif/*__MICRO_H__*/