+void SP_Push (const Type* T)
+/* Adjust the stackpointer for a push of an argument of the given type */
+{
+ StackPtr -= SizeOf (T);
+}
+
+
+
+void SP_Pop (const Type* T)
+/* Adjust the stackpointer for a pop of an argument of the given type */
+{
+ StackPtr += SizeOf (T);
+}
+
+
+
+