int main() {
  if (k_hasafs()) {
    k_afsklog(0, 0);
  }
}