Updated from code.google

Last changes provide string output through the builtins libraries