sig
  val allocate_trivial_strategy :
    Nn_blockmap.blockmap_t list ->
    Nn_alloc_types.transacted_datastores ->
    <  > -> int -> int64 -> int -> Nn_blocklist.blocklist
end