sig
  type mailbox =
      [ `B0 | `B1 | `B2 | `B3 | `B4 | `B5 | `B6 | `B7 | `B8 | `B9 ]
  type remote = [ `R0 | `R1 | `R2 | `R3 | `R4 | `R5 | `R6 | `R7 | `R8 | `R9 ]
  val write :
    ?check_status:bool ->
    'a Mindstorm.conn -> Mindstorm.Message.mailbox -> string -> unit
  val read :
    'a Mindstorm.conn ->
    ?remove:bool ->
    [ `B0
    | `B1
    | `B2
    | `B3
    | `B4
    | `B5
    | `B6
    | `B7
    | `B8
    | `B9
    | `R0
    | `R1
    | `R2
    | `R3
    | `R4
    | `R5
    | `R6
    | `R7
    | `R8
    | `R9 ] -> string
end