#include "py/obj.h"
  
  mp_obj_t writeLine(mp_obj_t a);
  mp_obj_t readLine();