function* a() {
    yield 2e308;
}