#include "teensy-println.h"
namespace arduino_preprocessor_is_buggy {
bool serialavailable() {
// Threads::Scope locker(getSerialLock());
return Serial.available();
}
char serialgetch() {
return Serial.read();
};