pragma 123