Add stdlib for testing