WARNING: This is an API preview! Most code won’t work or even type check properly! Macros for state_objects.