This file is used for the binary test.