int
main
() {
return
42
;
}