#!/bin/bash
for i in `seq 1 12532`;
do

	echo $i
	rm *gcda*
	tbl_entry=$(./a.out $i | tail -1)
	echo $tbl_entry
	gcov x86_disas
	mv x86_disas.c.gcov gcovs/$i.$tbl_entry
done