Update stdlib_headers.txt #66
Merge branch 'default_function'