Making a C constant available to ATS