&T readBinaryValueFile(type[&T] result, loc file)
value readBinaryValueFile(loc file)
import ValueIO;