#include <stdlib.h>

int atoi_(char *);

int main()
{
    return !( 3893 == atoi_("3893") );
}