Added extra int parameter type support to mock_c