pahole and other type info tools