A method for verifying a branch prediction mechanism and an accessible recording medium for storing a verification program are provided. The sensor comprises a housing and a membrane at one end of the housing. Mark location detection unit 3 extracts a square mark from the image data stored in device 2. Each user terminal automatically downloads and stores a local copy of the master channel table. The level shift circuit interrupts a current path from an output terminal to the level shift circuit after a predetermined time has passed since the high-side transistor was switched OFF.