.pragma library function f() { return 42 }