first prototype for translating Thrifty pragmas