program main
{
    integer da[*];
    integer s;
    da = new[1];
    da.delete(0);
    da.delete(0);
    s = da.size();
    printf("s: %0d\n", s);
}