cgOp LStdIn  [] = do
  stdin <- getStdIn
  ptr <- inst $ loadInv stdin
  box FPtr ptr
cgOp LStdIn  [] = do
  stdin <- getStdIn
  ptr <- inst $ loadInv stdin
  box FPtr ptr
cgOp LStdIn  [] = do
  stdin <- getStdIn
  ptr <- inst $ loadInv stdin
  box FPtr ptr