#include mp_obj_t modos_uname(); mp_obj_t modos_getlogin(); mp_obj_t modos_remove(mp_obj_t o_file_name); mp_obj_t modos_rename(mp_obj_t o_old_name, mp_obj_t o_new_name); mp_obj_t modos_listdir();