added argument and builtin function immutability