File:Autocastable example.png