function make_gui_radiobtn(nom:String,group:RadioButtonGroup,px:Number,py:Number):RadioButton{
    var btn:RadioButton;

    // function to create radio buttons
    btn = new RadioButton();
    btn.label = nom;
    btn.addEventListener(MouseEvent.CLICK,do_radio_btn);
    btn.group = group;
    btn.x = px;
    btn.y = py;
    addChild(btn);
    return btn;
}

function make_radiobtns():void {
    radio_btn_group_01 = new RadioButtonGroup("Group 01");

    radio_btn_01 = make_gui_radiobtn("Option 1",radio_btn_group_01,radio_btn_x,radio_btn_01_y);
    radio_btn_02 = make_gui_radiobtn("Option 2",radio_btn_group_01,radio_btn_x,radio_btn_02_y);
    radio_btn_03 = make_gui_radiobtn("Option 3",radio_btn_group_01,radio_btn_x,radio_btn_03_y);
}