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