Pascal: writing reference to file

program file_in;

type PInt = ^integer;

var file_var: file of PInt;
    val: PInt;

begin
    new(val);
    val^ := 9001;

    assign(file_var, 'test.ref');
    rewrite(file_var);
    write(file_var, val);
    //write(val);

    dispose(val);
end.