/* This file is part of the Simba project.  */
static int mock_write_clock_low(void)
/* This file is part of the Simba project.  */
static int mock_write_clock_low(void)
{
    mock_write_pin_write(0, 0);
    return (0);
}