Example project that uses manticore.