#include int main(int argc, char* argv[]) { int v0 = (1 + 2); int v1 = (v0 * v0); int v2 = (v1 + (v0 + 42)); printf("%d\n", ((v2 * v2) + 2)); }