val boks : padlen:int -> arrow:string -> string list -> unit