Vagas GCC Machine Description