diff --git a/crypto/func/auto-tests/legacy_tests/bsc-bridge-collector/stdlib.fc b/crypto/func/auto-tests/legacy_tests/bsc-bridge-collector/stdlib.fc
index 3fac94f1..be65b76e 100644
--- a/crypto/func/auto-tests/legacy_tests/bsc-bridge-collector/stdlib.fc
+++ b/crypto/func/auto-tests/legacy_tests/bsc-bridge-collector/stdlib.fc
@@ -1,5 +1,6 @@
 // Standard library for funC
 //
+#pragma version >=0.5.0;
 
 forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
 forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
diff --git a/crypto/func/auto-tests/legacy_tests/config/stdlib.fc b/crypto/func/auto-tests/legacy_tests/config/stdlib.fc
index f85fd907..378566aa 100644
--- a/crypto/func/auto-tests/legacy_tests/config/stdlib.fc
+++ b/crypto/func/auto-tests/legacy_tests/config/stdlib.fc
@@ -1,5 +1,6 @@
 ;; Standard library for funC
 ;;
+#pragma version >=0.5.0;
 
 forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
 forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
diff --git a/crypto/func/auto-tests/legacy_tests/dns-collection/stdlib.fc b/crypto/func/auto-tests/legacy_tests/dns-collection/stdlib.fc
index f0721815..6444245c 100644
--- a/crypto/func/auto-tests/legacy_tests/dns-collection/stdlib.fc
+++ b/crypto/func/auto-tests/legacy_tests/dns-collection/stdlib.fc
@@ -1,5 +1,6 @@
 ;; Standard library for funC
 ;;
+#pragma version >=0.5.0;
 
 forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
 forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
diff --git a/crypto/func/auto-tests/legacy_tests/elector/stdlib.fc b/crypto/func/auto-tests/legacy_tests/elector/stdlib.fc
index 49af552b..d6298f3b 100644
--- a/crypto/func/auto-tests/legacy_tests/elector/stdlib.fc
+++ b/crypto/func/auto-tests/legacy_tests/elector/stdlib.fc
@@ -1,5 +1,6 @@
 // Standard library for funC
 //
+#pragma version >=0.5.0;
 
 forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
 forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
diff --git a/crypto/func/auto-tests/legacy_tests/eth-bridge-multisig/stdlib.fc b/crypto/func/auto-tests/legacy_tests/eth-bridge-multisig/stdlib.fc
index 9fb900c5..b6629350 100644
--- a/crypto/func/auto-tests/legacy_tests/eth-bridge-multisig/stdlib.fc
+++ b/crypto/func/auto-tests/legacy_tests/eth-bridge-multisig/stdlib.fc
@@ -1,5 +1,6 @@
 ;; Standard library for funC
 ;;
+#pragma version >=0.5.0;
 
 forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
 forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
diff --git a/crypto/func/auto-tests/legacy_tests/gg-marketplace/stdlib.fc b/crypto/func/auto-tests/legacy_tests/gg-marketplace/stdlib.fc
index ddcb2396..6b9dfa0e 100644
--- a/crypto/func/auto-tests/legacy_tests/gg-marketplace/stdlib.fc
+++ b/crypto/func/auto-tests/legacy_tests/gg-marketplace/stdlib.fc
@@ -1,5 +1,6 @@
 ;; Standard library for funC
 ;;
+#pragma version >=0.5.0;
 
 forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
 forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
diff --git a/crypto/func/auto-tests/legacy_tests/jetton-minter/imports/stdlib.fc b/crypto/func/auto-tests/legacy_tests/jetton-minter/imports/stdlib.fc
index ddcb2396..6b9dfa0e 100644
--- a/crypto/func/auto-tests/legacy_tests/jetton-minter/imports/stdlib.fc
+++ b/crypto/func/auto-tests/legacy_tests/jetton-minter/imports/stdlib.fc
@@ -1,5 +1,6 @@
 ;; Standard library for funC
 ;;
+#pragma version >=0.5.0;
 
 forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
 forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
diff --git a/crypto/func/auto-tests/legacy_tests/jetton-wallet/imports/stdlib.fc b/crypto/func/auto-tests/legacy_tests/jetton-wallet/imports/stdlib.fc
index ddcb2396..6b9dfa0e 100644
--- a/crypto/func/auto-tests/legacy_tests/jetton-wallet/imports/stdlib.fc
+++ b/crypto/func/auto-tests/legacy_tests/jetton-wallet/imports/stdlib.fc
@@ -1,5 +1,6 @@
 ;; Standard library for funC
 ;;
+#pragma version >=0.5.0;
 
 forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
 forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
diff --git a/crypto/func/auto-tests/legacy_tests/nft-collection/stdlib.fc b/crypto/func/auto-tests/legacy_tests/nft-collection/stdlib.fc
index ddcb2396..6b9dfa0e 100644
--- a/crypto/func/auto-tests/legacy_tests/nft-collection/stdlib.fc
+++ b/crypto/func/auto-tests/legacy_tests/nft-collection/stdlib.fc
@@ -1,5 +1,6 @@
 ;; Standard library for funC
 ;;
+#pragma version >=0.5.0;
 
 forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
 forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
diff --git a/crypto/func/auto-tests/legacy_tests/nominator-pool/stdlib.fc b/crypto/func/auto-tests/legacy_tests/nominator-pool/stdlib.fc
index 7f45a6dd..79c175d7 100644
--- a/crypto/func/auto-tests/legacy_tests/nominator-pool/stdlib.fc
+++ b/crypto/func/auto-tests/legacy_tests/nominator-pool/stdlib.fc
@@ -1,5 +1,6 @@
 ;; Standard library for funC
 ;;
+#pragma version >=0.5.0;
 
 forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
 forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
diff --git a/crypto/func/auto-tests/legacy_tests/storage/stdlib.fc b/crypto/func/auto-tests/legacy_tests/storage/stdlib.fc
index 8f966b37..345939ae 100644
--- a/crypto/func/auto-tests/legacy_tests/storage/stdlib.fc
+++ b/crypto/func/auto-tests/legacy_tests/storage/stdlib.fc
@@ -1,5 +1,6 @@
 // Standard library for funC
 //
+#pragma version >=0.5.0;
 
 /*
   # Tuple manipulation primitives
diff --git a/crypto/func/auto-tests/legacy_tests/tele-nft-item/stdlib.fc b/crypto/func/auto-tests/legacy_tests/tele-nft-item/stdlib.fc
index f93ebf79..7179b1a5 100644
--- a/crypto/func/auto-tests/legacy_tests/tele-nft-item/stdlib.fc
+++ b/crypto/func/auto-tests/legacy_tests/tele-nft-item/stdlib.fc
@@ -1,5 +1,6 @@
 ;; Standard library for funC
 ;;
+#pragma version >=0.5.0;
 
 forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
 forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
diff --git a/crypto/func/auto-tests/legacy_tests/uni-lock-wallet/stdlib.fc b/crypto/func/auto-tests/legacy_tests/uni-lock-wallet/stdlib.fc
index 7f45a6dd..79c175d7 100644
--- a/crypto/func/auto-tests/legacy_tests/uni-lock-wallet/stdlib.fc
+++ b/crypto/func/auto-tests/legacy_tests/uni-lock-wallet/stdlib.fc
@@ -1,5 +1,6 @@
 ;; Standard library for funC
 ;;
+#pragma version >=0.5.0;
 
 forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
 forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
diff --git a/crypto/func/auto-tests/legacy_tests/wallet-v4/stdlib.fc b/crypto/func/auto-tests/legacy_tests/wallet-v4/stdlib.fc
index a76e869d..d8f0ead9 100644
--- a/crypto/func/auto-tests/legacy_tests/wallet-v4/stdlib.fc
+++ b/crypto/func/auto-tests/legacy_tests/wallet-v4/stdlib.fc
@@ -1,5 +1,6 @@
 ;; Standard library for funC
 ;;
+#pragma version >=0.5.0;
 
 forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
 forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
diff --git a/crypto/func/auto-tests/legacy_tests/whales-nominators/stdlib.fc b/crypto/func/auto-tests/legacy_tests/whales-nominators/stdlib.fc
index c2304834..c918807b 100644
--- a/crypto/func/auto-tests/legacy_tests/whales-nominators/stdlib.fc
+++ b/crypto/func/auto-tests/legacy_tests/whales-nominators/stdlib.fc
@@ -1,5 +1,6 @@
 ;; Standard library for funC
 ;;
+#pragma version >=0.5.0;
 
 forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
 forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
diff --git a/crypto/func/func.h b/crypto/func/func.h
index faf71f5d..563d874e 100644
--- a/crypto/func/func.h
+++ b/crypto/func/func.h
@@ -45,7 +45,7 @@ extern std::string generated_from;
 
 constexpr int optimize_depth = 20;
 
-const std::string func_version{"0.4.4"};
+const std::string func_version{"0.5.0"};
 
 enum Keyword {
   _Eof = -1,
diff --git a/crypto/smartcont/stdlib.fc b/crypto/smartcont/stdlib.fc
index bf6d738b..33a71ff9 100644
--- a/crypto/smartcont/stdlib.fc
+++ b/crypto/smartcont/stdlib.fc
@@ -1,6 +1,3 @@
-// Standard library for funC
-//
-
 /*
     This file is part of TON FunC Standard Library.
 
@@ -14,7 +11,10 @@
     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
     GNU Lesser General Public License for more details.
 
+    Note, that currently stdlib.fc is distributed as a standalone file,
+    but since FunC v0.6.0 it will be a part of FunC installation.
 */
+#pragma version >=0.5.0;
 
 /*
   # Tuple manipulation primitives