recompiled by TypeScript 0.9.5