Using promargs stack for vector read and update. Also for builtins.