Loading annotation for michel.codes