static byte[] decodeBASE64(String s) {
  ret base64decode(s);
}