#include "core.h"

void setup() {
  initPort('F', "OUTPUT");
  initPort('K', "INPUT");
}

void loop() {
  input(1);
  char input_value = 0x80;
  output(input_value);
}