void main(vector vin) {
	stov("'15 43 0'"); // set OFS_RETURN
	vector v2 = -vin;
	print(vtos(v2), "\n");
}