extern int mropen(char *);
extern int mrclose(void);
extern double mrpos(int);