use [@warning annotation] in FrogMapState and FrogLockMessage