#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <misc.h>
#include <tlmplib.h>
#include <string>

using namespace std;

<mod>
int main (int argc, char *argv[])
{
	glocal int ret = -1;
	glocal.ret = <call tlmpprogram>(argc,argv);
	<f init>
	</f>
	<f main>
		glocal bool pickrecv = false;
		glocal double minz = 10000;
		glocal int i;
		for (glocal.i=0; glocal.i<2; glocal.i++){
		<call loadfile>(argv[0],true);
		<f oneline>
			vector<string> tb;
			int n = str_splitline (line,' ',tb);
			if (n >= 10){
				if (strncmp(tb[9].c_str(),"G30*",4)==0){
					//printf ("%s\n",line);
					glocal.pickrecv = true;
				}else if (glocal.pickrecv){
					glocal.pickrecv = false;
					if (strcmp(tb[7].c_str(),"Recv:")==0
						&& strcmp(tb[8].c_str(),"Bed")==0){
						//printf ("recv %s\n",line);
						double z = atof (tb[14].c_str());
						if (glocal.i == 0){
							if (glocal.minz > z) glocal.minz = z;
						}else{
							printf ("    probe (%s,%s,%4.3lf);\n"
								,tb[10].c_str()
								,tb[12].c_str()
								,atof(tb[14].c_str())-glocal.minz);
						}
					}
				}
			}
			return 0;
		</f>
		</call>
		}
		return 0;
	</f>
	</call>
	return glocal.ret;
}
</mod>