OK: Equal types.
Execution completed