ad: Fix `vanilla_sdc.cpp`.