static void main () {
	string s1 = null;
	string s2 = "";
	bool b = (s1 == s2);
	stdout.printf ("%s", b.to_string());
}