/**
 * Copyright (c) 2020 Raspberry Pi (Trading) Ltd.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#include <stdio.h>
#include "pico/stdlib.h"
#include <main.S>
#include <func.c>
#include "hardware/gpio.h"


int main() {

stdio_init_all();

gpio_init(18);
gpio_set_dir(18, GPIO_OUT);

gpio_put(18, 1);
main();
}