Fixed CPS-ReST for 64 bits