// SPDX-FileCopyrightText: 2015 Samsung Electronics Co., Ltd.
// SPDX-FileCopyrightText: 2015 University of Szeged.
// SPDX-License-Identifier: Apache-2.0

function f_0(){
    'use strict';
    var v_0 = {
        p_0: function(a_0, a_1) {}
    };
    f_1(function(a_2) {});
}
