lazy の初期化式は実行されるとは限らない