[PATCH] Add carta_random32() library routine