some tiny tools