Symbol: cmd_is_leaveok