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