python language stubs