@name("scalanative_asctime")
@name("scalanative_asctime_r")
@name("scalanative_daylight")
@name("scalanative_gmtime")
@name("scalanative_gmtime_r")
@name("scalanative_localtime")
@name("scalanative_localtime_r")
@name("scalanative_mktime")
@name("scalanative_strftime")
@name("scalanative_strptime")
@name("scalanative_timezone")
@name("scalanative_tzname")