Loading annotation for mobile-process-calculi-for-pro…