no need for the full stdlib