Migrated tests, except main.cpp