subprog_nonnull_ptr_good
return subprog_nonnull_ptr_good(&x, &y);
return subprog_nonnull_ptr_good(NULL, &y);