/**
* Return the absolute value of the specified integer.
*
- * @param val The integer of which we want to know the absolute value.
+ * @param j The integer of which we want to know the absolute value.
* @return The absolute value of the specified integer.
*/
int abs(int j)
*/
void fatal(const char *msg)
{
- printf("%s",msg);
+ fprintf(stderr, "%s",msg);
halt();
}
+void exit(int status)
+{
+ printf("exited with status %d\n", status);
+ halt();
+}
+
+int errno;
+
+char *getenv(const char *name)
+{
+ return NULL;
+}
+