upgraded uint ospec dependency to 0.3.1