#include <pico/stdlib.h>
void setup() {
  spi_init(spi0, 9600);
  spi_set_format(spi0, 8);
  gpio_set_function(2, GPIO_FUNC_SPI_SCK); //clock
  gpio_set_function(3, GPIO_FUNC_SPI_TX); //transmitter
  gpio_init(4);
}

void loop() {
  static bool a = spi_is_writable	(	spi0	)	;
  printf("%d", a);
  delay(1); // this speeds up the simulation
}