.pragma library function foo() {}