Retrieve an encoded uint32 from a file.
pointer to a variable to store the value in
file to read from
0 on success, -1 on error. @*dest will contain the decoded value.