Call more C function from ATS