int ExternalDefault()
{
    return -1;
}

int WeakExternalWithLocalDefault_ResolveWKEXT(void)
{
    return -2;
}

int WeakExternalWithExternalDefault_ResolveWKEXT(void)
{
    return -3;
}