make use of int.to_bytes in GCM