int main() {
    (double) 20;
}