astat function