#include "py/obj.h"

mp_obj_t writeLine(mp_obj_t a);
mp_obj_t readLine();