#include <stdio.h>
#include "lib/testing.h"

int main(int argc, char * argv[]) {
	INFO("Hello world!");

	DONE("Finished tests!");
}