cgOp LStrCons [c,s] = do
  nc <- unbox (FArith (ATInt ITChar)) c
  ns <- unbox FString s
  nc' <- inst $ Trunc nc (IntegerType 8) []
  r <- inst $ simpleCall "__idris_strCons" [nc', ns]
  box FString r
cgOp LStrCons [c,s] = do
  nc <- unbox (FArith (ATInt ITChar)) c
  ns <- unbox FString s
  nc' <- inst $ Trunc nc (IntegerType 8) []
  r <- inst $ simpleCall "__idris_strCons" [nc', ns]
  box FString r
cgOp LStrCons [c,s] = do
  nc <- unbox (FArith (ATInt ITChar)) c
  ns <- unbox FString s
  nc' <- inst $ Trunc nc (IntegerType 8) []
  r <- inst $ simpleCall "__idris_strCons" [nc', ns]
  box FString r