int3 main() {
    return int3(1, 2, 3);
}