let
reserved space =
List
.iter (reserve1 space)