Finished van_spec tests