Move the stdlib into a .sh file to benefit from syntax coloring