semantic: Casting interfaces.