#ifndef MVEPLATFORM_H_
#define MVEPLATFORM_H_

unsigned int platform_timeGetTime(void);

#endif