PolyML.use "glob.ml";

open TextIO;
open Real; 
open String;

fun  cvt_feet_to_meters(feet) = feet * meter_per_foot;

val infile = openIn("pb01.in");

val it1 = valOf(inputLine(infile));

val sz = size(it1);

val sz2 = minus1(sz);

val it2 = substring(it1, 0 , sz2);

val my_height_feet = valOf(Real.fromString(it2));

val my_height_meters = cvt_feet_to_meters(my_height_feet);