A default start-up module is given in lib_start_up, this can be copied and personalised as desired by the user.
Init XCC; Module lib_start_up Import lib_logic lib_ML_eq;