void empty(int *a)
{
    ;;;;;;;;;;;;;;;;;;;;;;;
    *a = 13;
    ;;;;;;;;;;;;;;;;;;;;;;;
    return;
}