Some tools for dynamic casting.