#include "src/debugger.h"

int main(int argc, char** argv) {
  if (argc != 2) {
    printf("usage: %s PROGRAM\n", argv[0]);
    return 1;
  }

  debug(argv[1]);

  return 0;
}