/tiny/tinyvikings/libraries