Three files that really do compute something