Some core libraries for pico