push three basic libs