diff --git a/WISHLIST b/WISHLIST
index c4e6deb64d5ed42c82976a882acdfcfaaa8f688d..e559aff38d008e642ed1aabeab288ff0fe170623 100644
--- a/WISHLIST
+++ b/WISHLIST
@@ -1,5 +1,7 @@
 Do Add here what you would love FunCheck to be able to do
 ------------------------------------------------------
+VK: support maps Map[A,B] for ground types A,B (no polymorphism)
+VK: add bitvectors, including multiplication of int32 variables
 
 PS: support multiple top-level objects
 PS: support tuples (including natively in Z3)