cgOp LStdOut  [] = do
  stdout <- getStdOut
  ptr <- inst $ loadInv stdout
  box FPtr ptr
cgOp LStdOut  [] = do
  stdout <- getStdOut
  ptr <- inst $ loadInv stdout
  box FPtr ptr
cgOp LStdOut  [] = do
  stdout <- getStdOut
  ptr <- inst $ loadInv stdout
  box FPtr ptr