f = file_bin_open(argument0, 0)
ret = ""
eof = file_bin_size(f)
while(file_bin_position(f)<eof)
{
    value = file_bin_read_byte(f)
    len = string_length(ret)+1
    ret += string_copy("0123456789ABCDEF", value mod 16 + 1, 1)
    value = value div 16
    ret = string_insert( string_copy("0123456789ABCDEF", value + 1, 1) , ret, len)
}
file_bin_close(f)
return ret