{fileheader} import std.stdio; int main(char[][] args) { return 0; }