A standard library for bash