pub const EXECUTE_JAVA_SCRIPT_NO_RESULT: u64 = 0x16b8491520cbcd63 /* 1_637_138_819_642_543_459u64 */;