module term @[inline] fn getchar() int { return C.getchar() }