Loading annotation for statecharts.dev