// Do this only in the bootstrapper
include "io.alh"
include "primitives.alh"
include "compilation_manager.alh"
include "constructors.alh"
include "modelling.alh"

Void function new_user():
	Integer interface
	while (True):
		interface = input()
		if (interface == 0):
			exec(deserialize(input()))
		elif (interface == 1):
			exec(construct_unknown())
		elif (interface == 2):
			output("DONE")
		elif (interface == 3):
			compilation_manager()
		elif (interface == 4):
			construct_model()
		else:
			log("Unsupported interface!")
