added rbitset_malloc()