13 duplicated lines in: - libs/core---linux/linux.cpp (84:99, 5%) - libs/core---vm/scheduler.cpp (70:85, 3%) 12 duplicated lines in: - libs/core---linux/linux.cpp (320:332, 4%) - libs/core---vm/scheduler.cpp (475:487, 3%) 9 duplicated lines in: - libs/core---linux/linux.cpp (371:381, 3%) - libs/core---vm/scheduler.cpp (540:553, 2%) 9 duplicated lines in: - libs/core---linux/linux.cpp (335:350, 3%) - libs/core---vm/scheduler.cpp (494:509, 2%) 6 duplicated lines in: - libs/core---linux/linux.cpp (291:296, 2%) - libs/core---vm/scheduler.cpp (362:367, 1%) 6 duplicated lines in: - libs/core---linux/pxt.h (34:41, 23%) - libs/core---vm/pxt.h (22:29, 26%)