#include "printlib.h"

int main() {
	println_int(42);
	return 0;
}

// EXPECTED
// 42