Some small tools