function main() {
	var x = NoRudy;
}