Compilation succeeds.