void aa_hadec (double lat, double alt, double az, double* ha, double* dec); void hadec_aa (double lat, double ha, double dec, double* alt, double* az);