mixin("v\157i\144
main(){p\162intf=`"x"48656c6c6f2c20776f726c6421""`;}");