#include "core.h"

char i, input_value;

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

void loop() {
  for (i = 1; i <= 8; i++) {
    input(i);
    input_value = 0x80;
    output(input_value);
  }
}