sbool isCodeSafe(S code) {
  ret isSafeCodeFragment(code);
}