Some little tools