implemented UINT64 guard at the entry of procedure