if (true) {
  assert(arm_float_abi == "" ||
         arm_float_abi == "hard" ||
         arm_float_abi == "soft" ||
         arm_float_abi == "softfp")
}