Add better coverage test of vcc_backend.c