Some Python tools