( , U64 proc.