pragma.go