/* This file is part of the Simba project.  */
int mock_write_configfile_init(char *buf_p, size_t size, int res)
/* This file is part of the Simba project.  */
int mock_write_configfile_init(char *buf_p, size_t size, int res)
{
    harness_mock_write("configfile_init(buf_p)",
                       buf_p,
                       strlen(buf_p) + 1);
    harness_mock_write("configfile_init(size)",
                       &size,
                       sizeof(size));
    harness_mock_write("configfile_init(): return (res)",
                       &res,
                       sizeof(res));
    return (0);
}