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