double working for first van_spec test