encoded/load64