ああ、デフォルト値を取得する関数が別で定義されていたのでした。