-O までは建前上正しい型システムで、 -Oundefined になると適当になる