cgOp LReadStr [p] = do
  np <- unbox FPtr p
  s <- inst $ simpleCall "__idris_readStr" [np]
  box FString s
cgOp LReadStr [p] = do
  np <- unbox FPtr p
  s <- inst $ simpleCall "__idris_readStr" [np]
  box FString s
cgOp LReadStr [p] = do
  np <- unbox FPtr p
  s <- inst $ simpleCall "__idris_readStr" [np]
  box FString s