#ifndef PYTHON_MPHALPORT_H
  #define PYTHON_MPHALPORT_H
  
  extern int mp_interrupt_char;
  void mp_hal_set_interrupt_char(int c);
  void mp_keyboard_interrupt(void);
  const char * mp_hal_input(const char * prompt);
  
  #endif