# Some useful tools