add a test case for bitfile_64bit