Programs by Hedgehog Games