Has the 64-bit version of the GNU Pascal Compiler been done by your student?
The GNU Pascal Compiler uses the GCC backend,
so it is always as 64-bit as GCC is.
Peter
-- 
Prof. Dr. rer. nat. Peter Gerwinski - 
http://www.peter.gerwinski.de
Bochum University of Applied Sciences - 
http://www.hs-bochum.de
G-N-U GmbH - First Class IT Services - 
http://www.g-n-u.de
German pages for GNU & free software - 
http://www.gnu.de