char end = 7;

char *get_dso_end(void)
{
    return &end;
}