int get_tcsaltaz(double *, double *); int get_tcspos(double *, double *); int get_tcsoffset(double *, double *); int set_tcshaslew(float, float);