1.3.2 stubs for IDE