Source position: card.inc line 135
function CARD_Read(
file_: pcard_file;
buffer: pointer;
len: cuint32;
offset: cuint32
):cint32;