trace.h: Use side_enum_t for enum side_type_label_byte_order
[libside.git] / include / side / trace.h
index e9958008a40ffc06f2ba7e2d7a93ab7347ae030b..42efeefda9803ca5a474a89ba576b736c268767f 100644 (file)
 #include <stdlib.h>
 #include <stdio.h>
 #include <math.h>
+#include <stdbool.h>
 #include <side/macros.h>
 #include <side/endian.h>
 
-/* SIDE stands for "Static Instrumentation Dynamically Enabled" */
+/*
+ * SIDE stands for "Software Instrumentation Dynamically Enabled"
+ *
+ * This is an instrumentation API for Linux user-space, which exposes an
+ * instrumentation type system and facilities allowing a kernel or
+ * user-space tracer to consume user-space instrumentation.
+ *
+ * This instrumentation API exposes 3 type systems:
+ *
+ * * Stack-copy type system: This is the core type system which can
+ *   represent all supported types and into which all other type systems
+ *   can be nested. This type system requires that every type is
+ *   statically or dynamically declared and then registered, thus giving
+ *   tracers a complete description of the events and their associated
+ *   fields before the associated instrumentation is invoked. The
+ *   application needs to copy each argument (side_arg_...()) onto the
+ *   stack when calling the instrumentation.
+ *
+ *   This is the most expressive of the 3 type systems, althrough not the
+ *   fastest due to the extra copy of the arguments.
+ *
+ * * Data-gathering type system: This type system requires every type to
+ *   be statically or dynamically declared and registered, but does not
+ *   require the application to copy its arguments onto the stack.
+ *   Instead, the type description contains all the required information
+ *   to fetch the data from the application memory. The only argument
+ *   required from the instrumentation is the base pointer from which
+ *   the data should be fetched.
+ *
+ *   This type system can be used as an event field, or nested within
+ *   the stack-copy type system. Nesting of gather-vla within
+ *   gather-array and gather-vla types is not allowed.
+ *
+ *   This type system is has the least overhead of the 3 type systems.
+ *
+ * * Dynamic type system: This type system receives both type
+ *   description and actual data onto the stack at runtime. It has more
+ *   overhead that the 2 other type systems, but does not require a
+ *   prior registration of event field description. This makes it useful
+ *   for seldom used types which are not performance critical, but for
+ *   which registering each individual events would needlessly grow the
+ *   number of events to declare and register.
+ *
+ *   Another use-case for this type system is for use by dynamically
+ *   typed language runtimes, where the field type is only known when
+ *   the instrumentation is called.
+ *
+ *   Those dynamic types can be either used as arguments to a variadic
+ *   field list, or as on-stack instrumentation argument for a static
+ *   type SIDE_TYPE_DYNAMIC place holder in the stack-copy type system.
+ */
 
 //TODO: as those structures will be ABI, we need to either consider them
 //fixed forever, or think of a scheme that would allow their binary
 //representation to be extended if need be.
 
+struct side_arg;
 struct side_arg_vec;
-struct side_arg_vec_description;
-struct side_arg_dynamic_vec;
-struct side_arg_dynamic_vec_vla;
-struct side_type_description;
+union side_arg_dynamic;
+struct side_arg_dynamic_field;
+struct side_arg_dynamic_vla;
+struct side_type;
 struct side_event_field;
-struct side_event_field_sg;
 struct side_tracer_visitor_ctx;
 struct side_tracer_dynamic_struct_visitor_ctx;
-struct side_tracer_dynamic_vla_visitor_ctx;
 struct side_event_description;
-struct side_arg_dynamic_event_struct;
+struct side_arg_dynamic_struct;
 struct side_events_register_handle;
+struct side_arg_variant;
 
-enum side_type {
-       /* Basic types */
+enum side_type_label {
+       /* Stack-copy basic types */
+       SIDE_TYPE_NULL,
        SIDE_TYPE_BOOL,
        SIDE_TYPE_U8,
        SIDE_TYPE_U16,
@@ -46,79 +98,59 @@ enum side_type {
        SIDE_TYPE_S32,
        SIDE_TYPE_S64,
        SIDE_TYPE_BYTE,
-       SIDE_TYPE_POINTER32,
-       SIDE_TYPE_POINTER64,
+       SIDE_TYPE_POINTER,
        SIDE_TYPE_FLOAT_BINARY16,
        SIDE_TYPE_FLOAT_BINARY32,
        SIDE_TYPE_FLOAT_BINARY64,
        SIDE_TYPE_FLOAT_BINARY128,
-       SIDE_TYPE_STRING,
+       SIDE_TYPE_STRING_UTF8,
+       SIDE_TYPE_STRING_UTF16,
+       SIDE_TYPE_STRING_UTF32,
 
-       /* Compound types */
+       /* Stack-copy compound types */
        SIDE_TYPE_STRUCT,
-       SIDE_TYPE_STRUCT_SG,
+       SIDE_TYPE_VARIANT,
        SIDE_TYPE_ARRAY,
        SIDE_TYPE_VLA,
        SIDE_TYPE_VLA_VISITOR,
 
-       SIDE_TYPE_ARRAY_U8,
-       SIDE_TYPE_ARRAY_U16,
-       SIDE_TYPE_ARRAY_U32,
-       SIDE_TYPE_ARRAY_U64,
-       SIDE_TYPE_ARRAY_S8,
-       SIDE_TYPE_ARRAY_S16,
-       SIDE_TYPE_ARRAY_S32,
-       SIDE_TYPE_ARRAY_S64,
-       SIDE_TYPE_ARRAY_BYTE,
-       SIDE_TYPE_ARRAY_POINTER32,
-       SIDE_TYPE_ARRAY_POINTER64,
-
-       SIDE_TYPE_VLA_U8,
-       SIDE_TYPE_VLA_U16,
-       SIDE_TYPE_VLA_U32,
-       SIDE_TYPE_VLA_U64,
-       SIDE_TYPE_VLA_S8,
-       SIDE_TYPE_VLA_S16,
-       SIDE_TYPE_VLA_S32,
-       SIDE_TYPE_VLA_S64,
-       SIDE_TYPE_VLA_BYTE,
-       SIDE_TYPE_VLA_POINTER32,
-       SIDE_TYPE_VLA_POINTER64,
-
-       /* Enumeration types */
+       /* Stack-copy enumeration types */
        SIDE_TYPE_ENUM,
        SIDE_TYPE_ENUM_BITMAP,
 
-       /* Dynamic type */
+       /* Stack-copy place holder for dynamic types */
        SIDE_TYPE_DYNAMIC,
-};
 
-enum side_dynamic_type {
-       /* Basic types */
-       SIDE_DYNAMIC_TYPE_NULL,
-       SIDE_DYNAMIC_TYPE_BOOL,
-       SIDE_DYNAMIC_TYPE_U8,
-       SIDE_DYNAMIC_TYPE_U16,
-       SIDE_DYNAMIC_TYPE_U32,
-       SIDE_DYNAMIC_TYPE_U64,
-       SIDE_DYNAMIC_TYPE_S8,
-       SIDE_DYNAMIC_TYPE_S16,
-       SIDE_DYNAMIC_TYPE_S32,
-       SIDE_DYNAMIC_TYPE_S64,
-       SIDE_DYNAMIC_TYPE_BYTE,
-       SIDE_DYNAMIC_TYPE_POINTER32,
-       SIDE_DYNAMIC_TYPE_POINTER64,
-       SIDE_DYNAMIC_TYPE_FLOAT_BINARY16,
-       SIDE_DYNAMIC_TYPE_FLOAT_BINARY32,
-       SIDE_DYNAMIC_TYPE_FLOAT_BINARY64,
-       SIDE_DYNAMIC_TYPE_FLOAT_BINARY128,
-       SIDE_DYNAMIC_TYPE_STRING,
-
-       /* Compound types */
-       SIDE_DYNAMIC_TYPE_STRUCT,
-       SIDE_DYNAMIC_TYPE_STRUCT_VISITOR,
-       SIDE_DYNAMIC_TYPE_VLA,
-       SIDE_DYNAMIC_TYPE_VLA_VISITOR,
+       /* Gather basic types */
+       SIDE_TYPE_GATHER_BOOL,
+       SIDE_TYPE_GATHER_INTEGER,
+       SIDE_TYPE_GATHER_BYTE,
+       SIDE_TYPE_GATHER_POINTER,
+       SIDE_TYPE_GATHER_FLOAT,
+       SIDE_TYPE_GATHER_STRING,
+
+       /* Gather compound types */
+       SIDE_TYPE_GATHER_STRUCT,
+       SIDE_TYPE_GATHER_ARRAY,
+       SIDE_TYPE_GATHER_VLA,
+
+       /* Gather enumeration types */
+       SIDE_TYPE_GATHER_ENUM,
+
+       /* Dynamic basic types */
+       SIDE_TYPE_DYNAMIC_NULL,
+       SIDE_TYPE_DYNAMIC_BOOL,
+       SIDE_TYPE_DYNAMIC_INTEGER,
+       SIDE_TYPE_DYNAMIC_BYTE,
+       SIDE_TYPE_DYNAMIC_POINTER,
+       SIDE_TYPE_DYNAMIC_FLOAT,
+       SIDE_TYPE_DYNAMIC_STRING,
+
+       /* Dynamic compound types */
+       SIDE_TYPE_DYNAMIC_STRUCT,
+       SIDE_TYPE_DYNAMIC_STRUCT_VISITOR,
+       SIDE_TYPE_DYNAMIC_VLA,
+       SIDE_TYPE_DYNAMIC_VLA_VISITOR,
 };
 
 enum side_attr_type {
@@ -132,8 +164,6 @@ enum side_attr_type {
        SIDE_ATTR_TYPE_S16,
        SIDE_ATTR_TYPE_S32,
        SIDE_ATTR_TYPE_S64,
-       SIDE_ATTR_TYPE_POINTER32,
-       SIDE_ATTR_TYPE_POINTER64,
        SIDE_ATTR_TYPE_FLOAT_BINARY16,
        SIDE_ATTR_TYPE_FLOAT_BINARY32,
        SIDE_ATTR_TYPE_FLOAT_BINARY64,
@@ -141,11 +171,6 @@ enum side_attr_type {
        SIDE_ATTR_TYPE_STRING,
 };
 
-enum side_type_sg {
-       SIDE_TYPE_SG_UNSIGNED_INT,
-       SIDE_TYPE_SG_SIGNED_INT,
-};
-
 enum side_loglevel {
        SIDE_LOGLEVEL_EMERG = 0,
        SIDE_LOGLEVEL_ALERT = 1,
@@ -162,6 +187,7 @@ enum side_visitor_status {
        SIDE_VISITOR_STATUS_ERROR = -1,
 };
 
+//TODO: side_error enum is currently unused.
 enum side_error {
        SIDE_ERROR_OK = 0,
        SIDE_ERROR_INVAL = 1,
@@ -171,7 +197,7 @@ enum side_error {
        SIDE_ERROR_EXITING = 5,
 };
 
-enum side_type_byte_order {
+enum side_type_label_byte_order {
        SIDE_TYPE_BYTE_ORDER_LE = 0,
        SIDE_TYPE_BYTE_ORDER_BE = 1,
 };
@@ -188,15 +214,17 @@ enum side_type_byte_order {
 # define SIDE_TYPE_FLOAT_WORD_ORDER_HOST       SIDE_TYPE_BYTE_ORDER_BE
 #endif
 
-typedef enum side_visitor_status (*side_visitor)(
+enum side_type_gather_access_mode {
+       SIDE_TYPE_GATHER_ACCESS_DIRECT,
+       SIDE_TYPE_GATHER_ACCESS_POINTER,        /* Pointer dereference */
+};
+
+typedef enum side_visitor_status (*side_visitor_func)(
                const struct side_tracer_visitor_ctx *tracer_ctx,
                void *app_ctx);
-typedef enum side_visitor_status (*side_dynamic_struct_visitor)(
+typedef enum side_visitor_status (*side_dynamic_struct_visitor_func)(
                const struct side_tracer_dynamic_struct_visitor_ctx *tracer_ctx,
                void *app_ctx);
-typedef enum side_visitor_status (*side_dynamic_vla_visitor)(
-               const struct side_tracer_dynamic_vla_visitor_ctx *tracer_ctx,
-               void *app_ctx);
 
 union side_integer_value {
        uint8_t side_u8;
@@ -207,185 +235,275 @@ union side_integer_value {
        int16_t side_s16;
        int32_t side_s32;
        int64_t side_s64;
-};
+       uintptr_t side_uptr;
+} SIDE_PACKED;
+
+union side_bool_value {
+       uint8_t side_bool8;
+       uint16_t side_bool16;
+       uint32_t side_bool32;
+       uint64_t side_bool64;
+} SIDE_PACKED;
 
 union side_float_value {
 #if __HAVE_FLOAT16
-               _Float16 side_float_binary16;
+       _Float16 side_float_binary16;
 #endif
 #if __HAVE_FLOAT32
-               _Float32 side_float_binary32;
+       _Float32 side_float_binary32;
 #endif
 #if __HAVE_FLOAT64
-               _Float64 side_float_binary64;
+       _Float64 side_float_binary64;
 #endif
 #if __HAVE_FLOAT128
-               _Float128 side_float_binary128;
+       _Float128 side_float_binary128;
 #endif
-};
+} SIDE_PACKED;
+
+struct side_type_raw_string {
+       side_ptr_t(const void) p;       /* pointer to string */
+       uint8_t unit_size;              /* 1, 2, or 4 bytes */
+       side_enum_t(enum side_type_label_byte_order, uint8_t) byte_order;
+} SIDE_PACKED;
 
 struct side_attr_value {
-       uint32_t type;  /* enum side_attr_type */
+       side_enum_t(enum side_attr_type, uint32_t) type;
        union {
                uint8_t bool_value;
-               uint64_t string_value;  /* const char * */
+               struct side_type_raw_string string_value;
                union side_integer_value integer_value;
                union side_float_value float_value;
-       } u;
+       } SIDE_PACKED u;
 };
 
 /* User attributes. */
 struct side_attr {
-       const char *key;
+       const struct side_type_raw_string key;
        const struct side_attr_value value;
-};
+} SIDE_PACKED;
+
+/* Type descriptions */
+struct side_type_null {
+       side_ptr_t(const struct side_attr) attr;
+       uint32_t nr_attr;
+} SIDE_PACKED;
+
+struct side_type_bool {
+       side_ptr_t(const struct side_attr) attr;
+       uint32_t nr_attr;
+       uint16_t bool_size;             /* bytes */
+       uint16_t len_bits;              /* bits. 0 for (bool_size * CHAR_BITS) */
+       side_enum_t(enum side_type_label_byte_order, uint8_t) byte_order;
+} SIDE_PACKED;
+
+struct side_type_byte {
+       side_ptr_t(const struct side_attr) attr;
+       uint32_t nr_attr;
+} SIDE_PACKED;
+
+struct side_type_string {
+       side_ptr_t(const struct side_attr) attr;
+       uint32_t nr_attr;
+       uint8_t unit_size;              /* 1, 2, or 4 bytes */
+       side_enum_t(enum side_type_label_byte_order, uint8_t) byte_order;
+} SIDE_PACKED;
 
 struct side_type_integer {
-       const struct side_attr *attr;
+       side_ptr_t(const struct side_attr) attr;
        uint32_t nr_attr;
-       uint16_t integer_size_bits;     /* bits */
-       uint16_t len_bits;              /* bits */
+       uint16_t integer_size;          /* bytes */
+       uint16_t len_bits;              /* bits. 0 for (integer_size * CHAR_BITS) */
        uint8_t signedness;             /* true/false */
-       uint8_t byte_order;             /* enum side_type_byte_order */
-};
+       side_enum_t(enum side_type_label_byte_order, uint8_t) byte_order;
+} SIDE_PACKED;
 
 struct side_type_float {
-       const struct side_attr *attr;
+       side_ptr_t(const struct side_attr) attr;
        uint32_t nr_attr;
-       uint32_t byte_order;            /* enum side_type_byte_order */
-       uint16_t float_size_bits;       /* bits */
-};
+       uint16_t float_size;            /* bytes */
+       side_enum_t(enum side_type_label_byte_order, uint8_t) byte_order;
+} SIDE_PACKED;
 
 struct side_enum_mapping {
        int64_t range_begin;
        int64_t range_end;
-       const char *label;
-};
+       struct side_type_raw_string label;
+} SIDE_PACKED;
 
 struct side_enum_mappings {
-       const struct side_enum_mapping *mappings;
-       const struct side_attr *attr;
+       side_ptr_t(const struct side_enum_mapping) mappings;
+       side_ptr_t(const struct side_attr) attr;
        uint32_t nr_mappings;
        uint32_t nr_attr;
-};
+} SIDE_PACKED;
 
 struct side_enum_bitmap_mapping {
        uint64_t range_begin;
        uint64_t range_end;
-       const char *label;
-};
+       struct side_type_raw_string label;
+} SIDE_PACKED;
 
 struct side_enum_bitmap_mappings {
-       const struct side_enum_bitmap_mapping *mappings;
-       const struct side_attr *attr;
+       side_ptr_t(const struct side_enum_bitmap_mapping) mappings;
+       side_ptr_t(const struct side_attr) attr;
        uint32_t nr_mappings;
        uint32_t nr_attr;
-};
+} SIDE_PACKED;
 
 struct side_type_struct {
+       side_ptr_t(const struct side_event_field) fields;
+       side_ptr_t(const struct side_attr) attr;
        uint32_t nr_fields;
        uint32_t nr_attr;
-       const struct side_event_field *fields;
-       const struct side_attr *attr;
-};
+} SIDE_PACKED;
 
-struct side_type_null {
-       const struct side_attr *attr;
+struct side_type_array {
+       side_ptr_t(const struct side_type) elem_type;
+       side_ptr_t(const struct side_attr) attr;
+       uint32_t length;
        uint32_t nr_attr;
-};
+} SIDE_PACKED;
 
-struct side_type_bool {
-       const struct side_attr *attr;
+struct side_type_vla {
+       side_ptr_t(const struct side_type) elem_type;
+       side_ptr_t(const struct side_attr) attr;
        uint32_t nr_attr;
-};
+} SIDE_PACKED;
 
-struct side_type_byte {
-       const struct side_attr *attr;
+struct side_type_vla_visitor {
+       side_ptr_t(const struct side_type) elem_type;
+       side_visitor_func visitor;
+       side_ptr_t(const struct side_attr) attr;
        uint32_t nr_attr;
-};
+} SIDE_PACKED;
 
-struct side_type_dynamic {
-       const struct side_attr *attr;
-       uint32_t nr_attr;
-};
+struct side_type_enum {
+       side_ptr_t(const struct side_enum_mappings) mappings;
+       side_ptr_t(const struct side_type) elem_type;
+} SIDE_PACKED;
 
-struct side_type_string {
-       const struct side_attr *attr;
-       uint32_t nr_attr;
-};
+struct side_type_enum_bitmap {
+       side_ptr_t(const struct side_enum_bitmap_mappings) mappings;
+       side_ptr_t(const struct side_type) elem_type;
+} SIDE_PACKED;
 
-struct side_type_sg_description {
+struct side_type_gather_bool {
        uint64_t offset;        /* bytes */
-       uint32_t type;          /* enum side_type_sg */
-       union {
-               struct {
-                       struct side_type_integer type;
-                       uint16_t offset_bits;           /* bits */
-               } side_integer;
-       } u;
-};
+       uint8_t access_mode;    /* enum side_type_gather_access_mode */
+       struct side_type_bool type;
+       uint16_t offset_bits;   /* bits */
+} SIDE_PACKED;
 
-struct side_struct_field_sg {
-       const char *field_name;
-       struct side_type_sg_description side_type;
-};
+struct side_type_gather_byte {
+       uint64_t offset;        /* bytes */
+       uint8_t access_mode;    /* enum side_type_gather_access_mode */
+       struct side_type_byte type;
+} SIDE_PACKED;
 
-/* Structure fields scatter-gather. */
-struct side_type_struct_sg {
-       uint32_t nr_fields;
-       uint32_t nr_attr;
-       const struct side_struct_field_sg *fields_sg;
-       const struct side_attr *attr;
-};
+struct side_type_gather_integer {
+       uint64_t offset;        /* bytes */
+       uint8_t access_mode;    /* enum side_type_gather_access_mode */
+       struct side_type_integer type;
+       uint16_t offset_bits;   /* bits */
+} SIDE_PACKED;
 
-struct side_type_description {
-       uint32_t type;  /* enum side_type */
+struct side_type_gather_float {
+       uint64_t offset;        /* bytes */
+       uint8_t access_mode;    /* enum side_type_gather_access_mode */
+       struct side_type_float type;
+} SIDE_PACKED;
+
+struct side_type_gather_string {
+       uint64_t offset;        /* bytes */
+       uint8_t access_mode;    /* enum side_type_gather_access_mode */
+       struct side_type_string type;
+} SIDE_PACKED;
+
+struct side_type_gather_enum {
+       side_ptr_t(const struct side_enum_mappings) mappings;
+       side_ptr_t(const struct side_type) elem_type;
+} SIDE_PACKED;
+
+struct side_type_gather_struct {
+       uint64_t offset;        /* bytes */
+       uint8_t access_mode;    /* enum side_type_gather_access_mode */
+       side_ptr_t(const struct side_type_struct) type;
+       uint32_t size;          /* bytes */
+} SIDE_PACKED;
+
+struct side_type_gather_array {
+       uint64_t offset;        /* bytes */
+       uint8_t access_mode;    /* enum side_type_gather_access_mode */
+       struct side_type_array type;
+} SIDE_PACKED;
+
+struct side_type_gather_vla {
+       side_ptr_t(const struct side_type) length_type; /* side_length() */
+
+       uint64_t offset;        /* bytes */
+       uint8_t access_mode;    /* enum side_type_gather_access_mode */
+       struct side_type_vla type;
+} SIDE_PACKED;
+
+struct side_type_gather {
        union {
-               /* Basic types */
+               struct side_type_gather_bool side_bool;
+               struct side_type_gather_byte side_byte;
+               struct side_type_gather_integer side_integer;
+               struct side_type_gather_float side_float;
+               struct side_type_gather_string side_string;
+               struct side_type_gather_enum side_enum;
+               struct side_type_gather_array side_array;
+               struct side_type_gather_vla side_vla;
+               struct side_type_gather_struct side_struct;
+       } SIDE_PACKED u;
+} SIDE_PACKED;
+
+struct side_type {
+       side_enum_t(enum side_type_label, uint32_t) type;
+       union {
+               /* Stack-copy basic types */
+               struct side_type_null side_null;
                struct side_type_bool side_bool;
                struct side_type_byte side_byte;
-               struct side_type_dynamic side_dynamic;
                struct side_type_string side_string;
                struct side_type_integer side_integer;
                struct side_type_float side_float;
 
-               /* Compound types */
-               struct {
-                       const struct side_type_description *elem_type;
-                       const struct side_attr *attr;
-                       uint32_t length;
-                       uint32_t nr_attr;
-               } side_array;
-               struct {
-                       const struct side_type_description *elem_type;
-                       const struct side_attr *attr;
-                       uint32_t nr_attr;
-               } side_vla;
-               struct {
-                       const struct side_type_description *elem_type;
-                       side_visitor visitor;
-                       const struct side_attr *attr;
-                       uint32_t nr_attr;
-               } side_vla_visitor;
-               const struct side_type_struct *side_struct;
-               const struct side_type_struct_sg *side_struct_sg;
-
-               /* Enumeration types */
-               struct {
-                       const struct side_enum_mappings *mappings;
-                       const struct side_type_description *elem_type;
-               } side_enum;
-               struct {
-                       const struct side_enum_bitmap_mappings *mappings;
-                       const struct side_type_description *elem_type;
-               } side_enum_bitmap;
-       } u;
-};
+               /* Stack-copy compound types */
+               struct side_type_array side_array;
+               struct side_type_vla side_vla;
+               struct side_type_vla_visitor side_vla_visitor;
+               side_ptr_t(const struct side_type_struct) side_struct;
+               side_ptr_t(const struct side_type_variant) side_variant;
+
+               /* Stack-copy enumeration types */
+               struct side_type_enum side_enum;
+               struct side_type_enum_bitmap side_enum_bitmap;
+
+               /* Gather types */
+               struct side_type_gather side_gather;
+       } SIDE_PACKED u;
+} SIDE_PACKED;
+
+struct side_variant_option {
+       int64_t range_begin;
+       int64_t range_end;
+       const struct side_type side_type;
+} SIDE_PACKED;
+
+struct side_type_variant {
+       const struct side_type selector;
+       side_ptr_t(const struct side_variant_option) options;
+       side_ptr_t(const struct side_attr) attr;
+       uint32_t nr_options;
+       uint32_t nr_attr;
+} SIDE_PACKED;
 
 struct side_event_field {
-       const char *field_name;
-       struct side_type_description side_type;
-};
+       side_ptr_t(const char) field_name;
+       struct side_type side_type;
+} SIDE_PACKED;
 
 enum side_event_flags {
        SIDE_EVENT_FLAG_VARIADIC = (1 << 0),
@@ -394,175 +512,177 @@ enum side_event_flags {
 struct side_callback {
        union {
                void (*call)(const struct side_event_description *desc,
-                       const struct side_arg_vec_description *sav_desc,
+                       const struct side_arg_vec *side_arg_vec,
                        void *priv);
                void (*call_variadic)(const struct side_event_description *desc,
-                       const struct side_arg_vec_description *sav_desc,
-                       const struct side_arg_dynamic_event_struct *var_struct,
+                       const struct side_arg_vec *side_arg_vec,
+                       const struct side_arg_dynamic_struct *var_struct,
                        void *priv);
-       } u;
+       } SIDE_PACKED u;
        void *priv;
-};
-
-struct side_event_description {
-       uintptr_t *enabled;
-       const char *provider_name;
-       const char *event_name;
-       const struct side_event_field *fields;
-       const struct side_attr *attr;
-       const struct side_callback *callbacks;
-       uint64_t flags;
-       uint32_t version;
-       uint32_t loglevel;      /* enum side_loglevel */
-       uint32_t nr_fields;
+} SIDE_PACKED;
+
+union side_arg_static {
+       /* Stack-copy basic types */
+       union side_bool_value bool_value;
+       uint8_t byte_value;
+       side_ptr_t(const void) string_value;    /* const {uint8_t, uint16_t, uint32_t} * */
+       union side_integer_value integer_value;
+       union side_float_value float_value;
+
+       /* Stack-copy compound types */
+       side_ptr_t(const struct side_arg_vec) side_struct;
+       side_ptr_t(const struct side_arg_variant) side_variant;
+       side_ptr_t(const struct side_arg_vec) side_array;
+       side_ptr_t(const struct side_arg_vec) side_vla;
+       void *side_vla_app_visitor_ctx;
+
+       /* Gather basic types */
+       side_ptr_t(const void) side_bool_gather_ptr;
+       side_ptr_t(const void) side_byte_gather_ptr;
+       side_ptr_t(const void) side_integer_gather_ptr;
+       side_ptr_t(const void) side_float_gather_ptr;
+       side_ptr_t(const void) side_string_gather_ptr;
+
+       /* Gather compound types */
+       side_ptr_t(const void) side_array_gather_ptr;
+       side_ptr_t(const void) side_struct_gather_ptr;
+       struct {
+               side_ptr_t(const void) ptr;
+               side_ptr_t(const void) length_ptr;
+       } SIDE_PACKED side_vla_gather;
+} SIDE_PACKED;
+
+struct side_arg_dynamic_vla {
+       side_ptr_t(const struct side_arg) sav;
+       side_ptr_t(const struct side_attr) attr;
+       uint32_t len;
        uint32_t nr_attr;
-       uint32_t nr_callbacks;
-};
-
-struct side_arg_dynamic_vec {
-       uint32_t dynamic_type;  /* enum side_dynamic_type */
-       union {
-               struct side_type_null side_null_type;
-
-               /* Basic types */
-               struct {
-                       struct side_type_bool type;
-                       uint8_t value;
-               } side_bool;
-
-               struct {
-                       struct side_type_byte type;
-                       uint8_t value;
-               } side_byte;
-
-               struct {
-                       struct side_type_string type;
-                       uint64_t value; /* const char * */
-               } side_string;
-
-               /* Integer type */
-               struct {
-                       struct side_type_integer type;
-                       union side_integer_value value;
-               } side_integer;
-
-               struct {
-                       struct side_type_float type;
-                       union side_float_value value;
-               } side_float;
-
-               /* Compound types */
-               const struct side_arg_dynamic_event_struct *side_dynamic_struct;
-               struct {
-                       void *app_ctx;
-                       side_dynamic_struct_visitor visitor;
-                       const struct side_attr *attr;
-                       uint32_t nr_attr;
-               } side_dynamic_struct_visitor;
-               const struct side_arg_dynamic_vec_vla *side_dynamic_vla;
-               struct {
-                       void *app_ctx;
-                       side_dynamic_vla_visitor visitor;
-                       const struct side_attr *attr;
-                       uint32_t nr_attr;
-               } side_dynamic_vla_visitor;
-       } u;
-};
+} SIDE_PACKED;
 
-struct side_arg_dynamic_vec_vla {
-       const struct side_arg_dynamic_vec *sav;
-       const struct side_attr *attr;
+struct side_arg_dynamic_struct {
+       side_ptr_t(const struct side_arg_dynamic_field) fields;
+       side_ptr_t(const struct side_attr) attr;
        uint32_t len;
        uint32_t nr_attr;
-};
-
-struct side_arg_dynamic_event_field {
-       const char *field_name;
-       const struct side_arg_dynamic_vec elem;
-};
+} SIDE_PACKED;
 
-struct side_arg_dynamic_event_struct {
-       const struct side_arg_dynamic_event_field *fields;
-       const struct side_attr *attr;
-       uint32_t len;
+struct side_dynamic_struct_visitor {
+       void *app_ctx;
+       side_dynamic_struct_visitor_func visitor;
+       side_ptr_t(const struct side_attr) attr;
        uint32_t nr_attr;
-};
+} SIDE_PACKED;
 
-struct side_arg_vec {
-       enum side_type type;
+struct side_dynamic_vla_visitor {
+       void *app_ctx;
+       side_visitor_func visitor;
+       side_ptr_t(const struct side_attr) attr;
+       uint32_t nr_attr;
+} SIDE_PACKED;
+
+union side_arg_dynamic {
+       /* Dynamic basic types */
+       struct side_type_null side_null;
+       struct {
+               struct side_type_bool type;
+               union side_bool_value value;
+       } SIDE_PACKED side_bool;
+       struct {
+               struct side_type_byte type;
+               uint8_t value;
+       } SIDE_PACKED side_byte;
+       struct {
+               struct side_type_string type;
+               uint64_t value; /* const char * */
+       } SIDE_PACKED side_string;
+       struct {
+               struct side_type_integer type;
+               union side_integer_value value;
+       } SIDE_PACKED side_integer;
+       struct {
+               struct side_type_float type;
+               union side_float_value value;
+       } SIDE_PACKED side_float;
+
+       /* Dynamic compound types */
+       side_ptr_t(const struct side_arg_dynamic_struct) side_dynamic_struct;
+       side_ptr_t(const struct side_arg_dynamic_vla) side_dynamic_vla;
+
+       struct side_dynamic_struct_visitor side_dynamic_struct_visitor;
+       struct side_dynamic_vla_visitor side_dynamic_vla_visitor;
+} SIDE_PACKED;
+
+struct side_arg {
+       side_enum_t(enum side_type_label, uint32_t) type;
        union {
-               /* Basic types */
-               uint8_t bool_value;
-               uint8_t byte_value;
-               uint64_t string_value;  /* const char * */
-               union side_integer_value integer_value;
-               union side_float_value float_value;
+               union side_arg_static side_static;
+               union side_arg_dynamic side_dynamic;
+       } SIDE_PACKED u;
+} SIDE_PACKED;
 
-               /* Compound types */
-               const struct side_arg_vec_description *side_struct;
-               const struct side_arg_vec_description *side_array;
-               const struct side_arg_vec_description *side_vla;
-               void *side_vla_app_visitor_ctx;
-               void *side_array_fixint;
-               struct {
-                       void *p;
-                       uint32_t length;
-               } side_vla_fixint;
-               void *side_struct_sg_ptr;
-
-               /* Dynamic type */
-               struct side_arg_dynamic_vec dynamic_value;
-       } u;
-};
+struct side_arg_variant {
+       struct side_arg selector;
+       struct side_arg option;
+} SIDE_PACKED;
 
-struct side_arg_vec_description {
-       const struct side_arg_vec *sav;
+struct side_arg_vec {
+       side_ptr_t(const struct side_arg) sav;
        uint32_t len;
-};
+} SIDE_PACKED;
+
+struct side_arg_dynamic_field {
+       side_ptr_t(const char) field_name;
+       const struct side_arg elem;
+} SIDE_PACKED;
 
 /* The visitor pattern is a double-dispatch visitor. */
 struct side_tracer_visitor_ctx {
        enum side_visitor_status (*write_elem)(
                        const struct side_tracer_visitor_ctx *tracer_ctx,
-                       const struct side_arg_vec *elem);
+                       const struct side_arg *elem);
        void *priv;             /* Private tracer context. */
-};
+} SIDE_PACKED;
 
 struct side_tracer_dynamic_struct_visitor_ctx {
        enum side_visitor_status (*write_field)(
                        const struct side_tracer_dynamic_struct_visitor_ctx *tracer_ctx,
-                       const struct side_arg_dynamic_event_field *dynamic_field);
+                       const struct side_arg_dynamic_field *dynamic_field);
        void *priv;             /* Private tracer context. */
-};
+} SIDE_PACKED;
 
-struct side_tracer_dynamic_vla_visitor_ctx {
-       enum side_visitor_status (*write_elem)(
-                       const struct side_tracer_dynamic_vla_visitor_ctx *tracer_ctx,
-                       const struct side_arg_dynamic_vec *elem);
-       void *priv;             /* Private tracer context. */
+/*
+ * This structure is _not_ packed to allow atomic operations on its
+ * fields.
+ */
+struct side_event_state {
+       uintptr_t enabled;
+       const struct side_callback *callbacks;
+       uint32_t nr_callbacks;
 };
 
-/* Event and type attributes */
+struct side_event_description {
+       side_ptr_t(struct side_event_state) state;
+       side_ptr_t(const char) provider_name;
+       side_ptr_t(const char) event_name;
+       side_ptr_t(const struct side_event_field) fields;
+       side_ptr_t(const struct side_attr) attr;
+       uint64_t flags;
+       uint32_t version;
+       side_enum_t(enum side_loglevel, uint32_t) loglevel;
+       uint32_t nr_fields;
+       uint32_t nr_attr;
+} SIDE_PACKED;
 
-#if SIDE_BITS_PER_LONG == 64
-# define SIDE_TYPE_POINTER_HOST                SIDE_TYPE_POINTER64
-# define SIDE_TYPE_ARRAY_POINTER_HOST  SIDE_TYPE_ARRAY_POINTER64
-# define SIDE_TYPE_VLA_POINTER_HOST    SIDE_TYPE_VLA_POINTER64
-# define SIDE_DYNAMIC_TYPE_POINTER_HOST        SIDE_DYNAMIC_TYPE_POINTER64
-# define SIDE_ATTR_TYPE_POINTER_HOST   SIDE_ATTR_TYPE_POINTER64
-# define SIDE_PTR_HOST                 .side_u64
-#else
-# define SIDE_TYPE_POINTER_HOST                SIDE_TYPE_POINTER32
-# define SIDE_TYPE_ARRAY_POINTER_HOST  SIDE_TYPE_ARRAY_POINTER32
-# define SIDE_TYPE_VLA_POINTER_HOST    SIDE_TYPE_VLA_POINTER32
-# define SIDE_DYNAMIC_TYPE_POINTER_HOST        SIDE_DYNAMIC_TYPE_POINTER32
-# define SIDE_ATTR_TYPE_POINTER_HOST   SIDE_ATTR_TYPE_POINTER32
-# define SIDE_PTR_HOST                 .side_u32
-#endif
+/* Event and type attributes */
 
 #define side_attr(_key, _value)        \
        { \
-               .key = _key, \
+               .key = { \
+                       .p = SIDE_PTR_INIT(_key), \
+                       .unit_size = sizeof(uint8_t), \
+                       .byte_order = SIDE_ENUM_INIT(SIDE_TYPE_BYTE_ORDER_HOST), \
+               }, \
                .value = SIDE_PARAM(_value), \
        }
 
@@ -570,195 +690,308 @@ struct side_tracer_dynamic_vla_visitor_ctx {
        SIDE_COMPOUND_LITERAL(const struct side_attr, __VA_ARGS__)
 
 #define side_attr_null(_val)           { .type = SIDE_ATTR_TYPE_NULL }
-#define side_attr_bool(_val)           { .type = SIDE_ATTR_TYPE_BOOL, .u = { .bool_value = !!(_val) } }
-#define side_attr_u8(_val)             { .type = SIDE_ATTR_TYPE_U8, .u = { .integer_value = { .side_u8 = (_val) } } }
-#define side_attr_u16(_val)            { .type = SIDE_ATTR_TYPE_U16, .u = { .integer_value = { .side_u16 = (_val) } } }
-#define side_attr_u32(_val)            { .type = SIDE_ATTR_TYPE_U32, .u = { .integer_value = { .side_u32 = (_val) } } }
-#define side_attr_u64(_val)            { .type = SIDE_ATTR_TYPE_U64, .u = { .integer_value = { .side_u64 = (_val) } } }
-#define side_attr_s8(_val)             { .type = SIDE_ATTR_TYPE_S8, .u = { .integer_value = { .side_s8 = (_val) } } }
-#define side_attr_s16(_val)            { .type = SIDE_ATTR_TYPE_S16, .u = { .integer_value = { .side_s16 = (_val) } } }
-#define side_attr_s32(_val)            { .type = SIDE_ATTR_TYPE_S32, .u = { .integer_value = { .side_s32 = (_val) } } }
-#define side_attr_s64(_val)            { .type = SIDE_ATTR_TYPE_S64, .u = { .integer_value = { .side_s64 = (_val) } } }
-#define side_attr_pointer(_val)                { .type = SIDE_ATTR_TYPE_POINTER_HOST, .u = { .integer_value = { SIDE_PTR_HOST = (uintptr_t) (_val) } } }
-#define side_attr_float_binary16(_val) { .type = SIDE_ATTR_TYPE_FLOAT_BINARY16, .u = { .float_value = { .side_float_binary16 = (_val) } } }
-#define side_attr_float_binary32(_val) { .type = SIDE_ATTR_TYPE_FLOAT_BINARY32, .u = { .float_value = { .side_float_binary32 = (_val) } } }
-#define side_attr_float_binary64(_val) { .type = SIDE_ATTR_TYPE_FLOAT_BINARY64, .u = { .float_value = { .side_float_binary64 = (_val) } } }
-#define side_attr_float_binary128(_val)        { .type = SIDE_ATTR_TYPE_FLOAT_BINARY128, .u = { .float_value = { .side_float_binary128 = (_val) } } }
-#define side_attr_string(_val)         { .type = SIDE_ATTR_TYPE_STRING, .u = { .string_value = (uintptr_t) (_val) } }
-
-/* Static field definition */
-
-#define side_type_bool(_attr) \
+#define side_attr_bool(_val)           { .type = SIDE_ENUM_INIT(SIDE_ATTR_TYPE_BOOL), .u = { .bool_value = !!(_val) } }
+#define side_attr_u8(_val)             { .type = SIDE_ENUM_INIT(SIDE_ATTR_TYPE_U8), .u = { .integer_value = { .side_u8 = (_val) } } }
+#define side_attr_u16(_val)            { .type = SIDE_ENUM_INIT(SIDE_ATTR_TYPE_U16), .u = { .integer_value = { .side_u16 = (_val) } } }
+#define side_attr_u32(_val)            { .type = SIDE_ENUM_INIT(SIDE_ATTR_TYPE_U32), .u = { .integer_value = { .side_u32 = (_val) } } }
+#define side_attr_u64(_val)            { .type = SIDE_ENUM_INIT(SIDE_ATTR_TYPE_U64), .u = { .integer_value = { .side_u64 = (_val) } } }
+#define side_attr_s8(_val)             { .type = SIDE_ENUM_INIT(SIDE_ATTR_TYPE_S8), .u = { .integer_value = { .side_s8 = (_val) } } }
+#define side_attr_s16(_val)            { .type = SIDE_ENUM_INIT(SIDE_ATTR_TYPE_S16), .u = { .integer_value = { .side_s16 = (_val) } } }
+#define side_attr_s32(_val)            { .type = SIDE_ENUM_INIT(SIDE_ATTR_TYPE_S32), .u = { .integer_value = { .side_s32 = (_val) } } }
+#define side_attr_s64(_val)            { .type = SIDE_ENUM_INIT(SIDE_ATTR_TYPE_S64), .u = { .integer_value = { .side_s64 = (_val) } } }
+#define side_attr_float_binary16(_val) { .type = SIDE_ENUM_INIT(SIDE_ATTR_TYPE_FLOAT_BINARY16), .u = { .float_value = { .side_float_binary16 = (_val) } } }
+#define side_attr_float_binary32(_val) { .type = SIDE_ENUM_INIT(SIDE_ATTR_TYPE_FLOAT_BINARY32), .u = { .float_value = { .side_float_binary32 = (_val) } } }
+#define side_attr_float_binary64(_val) { .type = SIDE_ENUM_INIT(SIDE_ATTR_TYPE_FLOAT_BINARY64), .u = { .float_value = { .side_float_binary64 = (_val) } } }
+#define side_attr_float_binary128(_val)        { .type = SIDE_ENUM_INIT(SIDE_ATTR_TYPE_FLOAT_BINARY128), .u = { .float_value = { .side_float_binary128 = (_val) } } }
+
+#define _side_attr_string(_val, _byte_order, _unit_size) \
        { \
-               .type = SIDE_TYPE_BOOL, \
+               .type = SIDE_ENUM_INIT(SIDE_ATTR_TYPE_STRING), \
                .u = { \
-                       .side_bool = { \
-                               .attr = _attr, \
-                               .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM(_attr)), \
+                       .string_value = { \
+                               .p = SIDE_PTR_INIT(_val), \
+                               .unit_size = _unit_size, \
+                               .byte_order = SIDE_ENUM_INIT(_byte_order), \
+                       }, \
+               }, \
+       }
+
+#define side_attr_string(_val)         _side_attr_string(_val, SIDE_TYPE_BYTE_ORDER_HOST, sizeof(uint8_t))
+#define side_attr_string16(_val)       _side_attr_string(_val, SIDE_TYPE_BYTE_ORDER_HOST, sizeof(uint16_t))
+#define side_attr_string32(_val)       _side_attr_string(_val, SIDE_TYPE_BYTE_ORDER_HOST, sizeof(uint32_t))
+
+/* Stack-copy enumeration type definitions */
+
+#define side_define_enum(_identifier, _mappings, _attr...) \
+       const struct side_enum_mappings _identifier = { \
+               .mappings = SIDE_PTR_INIT(_mappings), \
+               .attr = SIDE_PTR_INIT(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+               .nr_mappings = SIDE_ARRAY_SIZE(SIDE_PARAM(_mappings)), \
+               .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+       }
+
+#define side_enum_mapping_list(...) \
+       SIDE_COMPOUND_LITERAL(const struct side_enum_mapping, __VA_ARGS__)
+
+#define side_enum_mapping_range(_label, _begin, _end) \
+       { \
+               .range_begin = _begin, \
+               .range_end = _end, \
+               .label = { \
+                       .p = SIDE_PTR_INIT(_label), \
+                       .unit_size = sizeof(uint8_t), \
+                       .byte_order = SIDE_ENUM_INIT(SIDE_TYPE_BYTE_ORDER_HOST), \
+               }, \
+       }
+
+#define side_enum_mapping_value(_label, _value) \
+       { \
+               .range_begin = _value, \
+               .range_end = _value, \
+               .label = { \
+                       .p = SIDE_PTR_INIT(_label), \
+                       .unit_size = sizeof(uint8_t), \
+                       .byte_order = SIDE_ENUM_INIT(SIDE_TYPE_BYTE_ORDER_HOST), \
+               }, \
+       }
+
+#define side_define_enum_bitmap(_identifier, _mappings, _attr...) \
+       const struct side_enum_bitmap_mappings _identifier = { \
+               .mappings = SIDE_PTR_INIT(_mappings), \
+               .attr = SIDE_PTR_INIT(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+               .nr_mappings = SIDE_ARRAY_SIZE(SIDE_PARAM(_mappings)), \
+               .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+       }
+
+#define side_enum_bitmap_mapping_list(...) \
+       SIDE_COMPOUND_LITERAL(const struct side_enum_bitmap_mapping, __VA_ARGS__)
+
+#define side_enum_bitmap_mapping_range(_label, _begin, _end) \
+       { \
+               .range_begin = _begin, \
+               .range_end = _end, \
+               .label = { \
+                       .p = SIDE_PTR_INIT(_label), \
+                       .unit_size = sizeof(uint8_t), \
+                       .byte_order = SIDE_ENUM_INIT(SIDE_TYPE_BYTE_ORDER_HOST), \
+               }, \
+       }
+
+#define side_enum_bitmap_mapping_value(_label, _value) \
+       { \
+               .range_begin = _value, \
+               .range_end = _value, \
+               .label = { \
+                       .p = SIDE_PTR_INIT(_label), \
+                       .unit_size = sizeof(uint8_t), \
+                       .byte_order = SIDE_ENUM_INIT(SIDE_TYPE_BYTE_ORDER_HOST), \
+               }, \
+       }
+
+/* Stack-copy field and type definitions */
+
+#define side_type_null(_attr...) \
+       { \
+               .type = SIDE_ENUM_INIT(SIDE_TYPE_NULL), \
+               .u = { \
+                       .side_null = { \
+                               .attr = SIDE_PTR_INIT(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                               .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
                        }, \
                }, \
        }
 
-#define side_type_byte(_attr) \
+#define side_type_bool(_attr...) \
        { \
-               .type = SIDE_TYPE_BYTE, \
+               .type = SIDE_ENUM_INIT(SIDE_TYPE_BOOL), \
                .u = { \
-                       .side_byte = { \
-                               .attr = _attr, \
-                               .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM(_attr)), \
+                       .side_bool = { \
+                               .attr = SIDE_PTR_INIT(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                               .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                               .bool_size = sizeof(uint8_t), \
+                               .len_bits = 0, \
+                               .byte_order = SIDE_ENUM_INIT(SIDE_TYPE_BYTE_ORDER_HOST), \
                        }, \
                }, \
        }
 
-#define side_type_string(_attr) \
+#define side_type_byte(_attr...) \
        { \
-               .type = SIDE_TYPE_STRING, \
+               .type = SIDE_ENUM_INIT(SIDE_TYPE_BYTE), \
                .u = { \
-                       .side_string = { \
-                               .attr = _attr, \
-                               .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM(_attr)), \
+                       .side_byte = { \
+                               .attr = SIDE_PTR_INIT(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                               .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
                        }, \
                }, \
        }
 
-#define side_type_dynamic(_attr) \
+#define _side_type_string(_type, _byte_order, _unit_size, _attr) \
        { \
-               .type = SIDE_TYPE_DYNAMIC, \
+               .type = SIDE_ENUM_INIT(_type), \
                .u = { \
-                       .side_dynamic = { \
-                               .attr = _attr, \
+                       .side_string = { \
+                               .attr = SIDE_PTR_INIT(_attr), \
                                .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM(_attr)), \
+                               .unit_size = _unit_size, \
+                               .byte_order = SIDE_ENUM_INIT(_byte_order), \
                        }, \
                }, \
        }
 
-#define _side_type_integer(_type, _signedness, _byte_order, _integer_size_bits, _len_bits, _attr) \
+#define side_type_dynamic() \
+       { \
+               .type = SIDE_ENUM_INIT(SIDE_TYPE_DYNAMIC), \
+       }
+
+#define _side_type_integer(_type, _signedness, _byte_order, _integer_size, _len_bits, _attr) \
        { \
-               .type = _type, \
+               .type = SIDE_ENUM_INIT(_type), \
                .u = { \
                        .side_integer = { \
-                               .attr = _attr, \
+                               .attr = SIDE_PTR_INIT(_attr), \
                                .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM(_attr)), \
-                               .integer_size_bits = _integer_size_bits, \
+                               .integer_size = _integer_size, \
                                .len_bits = _len_bits, \
                                .signedness = _signedness, \
-                               .byte_order = _byte_order, \
+                               .byte_order = SIDE_ENUM_INIT(_byte_order), \
                        }, \
                }, \
        }
 
-#define _side_type_float(_type, _byte_order, _float_size_bits, _attr) \
+#define _side_type_float(_type, _byte_order, _float_size, _attr) \
        { \
-               .type = _type, \
+               .type = SIDE_ENUM_INIT(_type), \
                .u = { \
                        .side_float = { \
-                               .attr = _attr, \
+                               .attr = SIDE_PTR_INIT(_attr), \
                                .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM(_attr)), \
-                               .byte_order = _byte_order, \
-                               .float_size_bits = _float_size_bits, \
+                               .float_size = _float_size, \
+                               .byte_order = SIDE_ENUM_INIT(_byte_order), \
                        }, \
                }, \
        }
 
 #define _side_field(_name, _type) \
        { \
-               .field_name = _name, \
+               .field_name = SIDE_PTR_INIT(_name), \
+               .side_type = _type, \
+       }
+
+#define side_option_range(_range_begin, _range_end, _type) \
+       { \
+               .range_begin = _range_begin, \
+               .range_end = _range_end, \
                .side_type = _type, \
        }
 
+#define side_option(_value, _type) \
+       side_option_range(_value, _value, SIDE_PARAM(_type))
+
 /* Host endian */
-#define side_type_u8(_attr)                            _side_type_integer(SIDE_TYPE_U8, false, SIDE_TYPE_BYTE_ORDER_HOST, 8, 8, SIDE_PARAM(_attr))
-#define side_type_u16(_attr)                           _side_type_integer(SIDE_TYPE_U16, false, SIDE_TYPE_BYTE_ORDER_HOST, 16, 16, SIDE_PARAM(_attr))
-#define side_type_u32(_attr)                           _side_type_integer(SIDE_TYPE_U32, false, SIDE_TYPE_BYTE_ORDER_HOST, 32, 32, SIDE_PARAM(_attr))
-#define side_type_u64(_attr)                           _side_type_integer(SIDE_TYPE_U64, false, SIDE_TYPE_BYTE_ORDER_HOST, 64, 64, SIDE_PARAM(_attr))
-#define side_type_s8(_attr)                            _side_type_integer(SIDE_TYPE_S8, true, SIDE_TYPE_BYTE_ORDER_HOST, 8, 8, SIDE_PARAM(_attr))
-#define side_type_s16(_attr)                           _side_type_integer(SIDE_TYPE_S16, true, SIDE_TYPE_BYTE_ORDER_HOST, 16, 16, SIDE_PARAM(_attr))
-#define side_type_s32(_attr)                           _side_type_integer(SIDE_TYPE_S32, true, SIDE_TYPE_BYTE_ORDER_HOST, 32, 32, SIDE_PARAM(_attr))
-#define side_type_s64(_attr)                           _side_type_integer(SIDE_TYPE_S64, true, SIDE_TYPE_BYTE_ORDER_HOST, 64, 64, SIDE_PARAM(_attr))
-#define side_type_pointer(_attr)                       _side_type_integer(SIDE_TYPE_POINTER_HOST, false, SIDE_TYPE_BYTE_ORDER_HOST, SIDE_BITS_PER_LONG, \
-                                                                       SIDE_BITS_PER_LONG, SIDE_PARAM(_attr))
-#define side_type_float_binary16(_attr)                        _side_type_float(SIDE_TYPE_FLOAT_BINARY16, SIDE_TYPE_FLOAT_WORD_ORDER_HOST, 16, SIDE_PARAM(_attr))
-#define side_type_float_binary32(_attr)                        _side_type_float(SIDE_TYPE_FLOAT_BINARY32, SIDE_TYPE_FLOAT_WORD_ORDER_HOST, 32, SIDE_PARAM(_attr))
-#define side_type_float_binary64(_attr)                        _side_type_float(SIDE_TYPE_FLOAT_BINARY64, SIDE_TYPE_FLOAT_WORD_ORDER_HOST, 64, SIDE_PARAM(_attr))
-#define side_type_float_binary128(_attr)               _side_type_float(SIDE_TYPE_FLOAT_BINARY128, SIDE_TYPE_FLOAT_WORD_ORDER_HOST, 128, SIDE_PARAM(_attr))
-
-#define side_field_bool(_name, _attr)                  _side_field(_name, side_type_bool(SIDE_PARAM(_attr)))
-#define side_field_u8(_name, _attr)                    _side_field(_name, side_type_u8(SIDE_PARAM(_attr)))
-#define side_field_u16(_name, _attr)                   _side_field(_name, side_type_u16(SIDE_PARAM(_attr)))
-#define side_field_u32(_name, _attr)                   _side_field(_name, side_type_u32(SIDE_PARAM(_attr)))
-#define side_field_u64(_name, _attr)                   _side_field(_name, side_type_u64(SIDE_PARAM(_attr)))
-#define side_field_s8(_name, _attr)                    _side_field(_name, side_type_s8(SIDE_PARAM(_attr)))
-#define side_field_s16(_name, _attr)                   _side_field(_name, side_type_s16(SIDE_PARAM(_attr)))
-#define side_field_s32(_name, _attr)                   _side_field(_name, side_type_s32(SIDE_PARAM(_attr)))
-#define side_field_s64(_name, _attr)                   _side_field(_name, side_type_s64(SIDE_PARAM(_attr)))
-#define side_field_byte(_name, _attr)                  _side_field(_name, side_type_byte(SIDE_PARAM(_attr)))
-#define side_field_pointer(_name, _attr)               _side_field(_name, side_type_pointer(SIDE_PARAM(_attr)))
-#define side_field_float_binary16(_name, _attr)                _side_field(_name, side_type_float_binary16(SIDE_PARAM(_attr)))
-#define side_field_float_binary32(_name, _attr)                _side_field(_name, side_type_float_binary32(SIDE_PARAM(_attr)))
-#define side_field_float_binary64(_name, _attr)                _side_field(_name, side_type_float_binary64(SIDE_PARAM(_attr)))
-#define side_field_float_binary128(_name, _attr)       _side_field(_name, side_type_float_binary128(SIDE_PARAM(_attr)))
-#define side_field_string(_name, _attr)                        _side_field(_name, side_type_string(SIDE_PARAM(_attr)))
-#define side_field_dynamic(_name, _attr)               _side_field(_name, side_type_dynamic(SIDE_PARAM(_attr)))
+#define side_type_u8(_attr...)                         _side_type_integer(SIDE_TYPE_U8, false, SIDE_TYPE_BYTE_ORDER_HOST, sizeof(uint8_t), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_u16(_attr...)                                _side_type_integer(SIDE_TYPE_U16, false, SIDE_TYPE_BYTE_ORDER_HOST, sizeof(uint16_t), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_u32(_attr...)                                _side_type_integer(SIDE_TYPE_U32, false, SIDE_TYPE_BYTE_ORDER_HOST, sizeof(uint32_t), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_u64(_attr...)                                _side_type_integer(SIDE_TYPE_U64, false, SIDE_TYPE_BYTE_ORDER_HOST, sizeof(uint64_t), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_s8(_attr...)                         _side_type_integer(SIDE_TYPE_S8, true, SIDE_TYPE_BYTE_ORDER_HOST, sizeof(int8_t), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_s16(_attr...)                                _side_type_integer(SIDE_TYPE_S16, true, SIDE_TYPE_BYTE_ORDER_HOST, sizeof(int16_t), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_s32(_attr...)                                _side_type_integer(SIDE_TYPE_S32, true, SIDE_TYPE_BYTE_ORDER_HOST, sizeof(int32_t), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_s64(_attr...)                                _side_type_integer(SIDE_TYPE_S64, true, SIDE_TYPE_BYTE_ORDER_HOST, sizeof(int64_t), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_pointer(_attr...)                    _side_type_integer(SIDE_TYPE_POINTER, false, SIDE_TYPE_BYTE_ORDER_HOST, sizeof(uintptr_t), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_float_binary16(_attr...)             _side_type_float(SIDE_TYPE_FLOAT_BINARY16, SIDE_TYPE_FLOAT_WORD_ORDER_HOST, sizeof(_Float16), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_float_binary32(_attr...)             _side_type_float(SIDE_TYPE_FLOAT_BINARY32, SIDE_TYPE_FLOAT_WORD_ORDER_HOST, sizeof(_Float32), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_float_binary64(_attr...)             _side_type_float(SIDE_TYPE_FLOAT_BINARY64, SIDE_TYPE_FLOAT_WORD_ORDER_HOST, sizeof(_Float64), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_float_binary128(_attr...)            _side_type_float(SIDE_TYPE_FLOAT_BINARY128, SIDE_TYPE_FLOAT_WORD_ORDER_HOST, sizeof(_Float128), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_string(_attr...)                     _side_type_string(SIDE_TYPE_STRING_UTF8, SIDE_TYPE_BYTE_ORDER_HOST, sizeof(uint8_t), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_string16(_attr...)                   _side_type_string(SIDE_TYPE_STRING_UTF16, SIDE_TYPE_BYTE_ORDER_HOST, sizeof(uint16_t), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_string32(_attr...)                   _side_type_string(SIDE_TYPE_STRING_UTF32, SIDE_TYPE_BYTE_ORDER_HOST, sizeof(uint32_t), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+
+#define side_field_null(_name, _attr...)               _side_field(_name, side_type_null(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_bool(_name, _attr...)               _side_field(_name, side_type_bool(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_u8(_name, _attr...)                 _side_field(_name, side_type_u8(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_u16(_name, _attr...)                        _side_field(_name, side_type_u16(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_u32(_name, _attr...)                        _side_field(_name, side_type_u32(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_u64(_name, _attr...)                        _side_field(_name, side_type_u64(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_s8(_name, _attr...)                 _side_field(_name, side_type_s8(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_s16(_name, _attr...)                        _side_field(_name, side_type_s16(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_s32(_name, _attr...)                        _side_field(_name, side_type_s32(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_s64(_name, _attr...)                        _side_field(_name, side_type_s64(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_byte(_name, _attr...)               _side_field(_name, side_type_byte(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_pointer(_name, _attr...)            _side_field(_name, side_type_pointer(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_float_binary16(_name, _attr...)     _side_field(_name, side_type_float_binary16(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_float_binary32(_name, _attr...)     _side_field(_name, side_type_float_binary32(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_float_binary64(_name, _attr...)     _side_field(_name, side_type_float_binary64(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_float_binary128(_name, _attr...)    _side_field(_name, side_type_float_binary128(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_string(_name, _attr...)             _side_field(_name, side_type_string(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_string16(_name, _attr...)           _side_field(_name, side_type_string16(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_string32(_name, _attr...)           _side_field(_name, side_type_string32(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_dynamic(_name)                      _side_field(_name, side_type_dynamic())
 
 /* Little endian */
-#define side_type_u16_le(_attr)                                _side_type_integer(SIDE_TYPE_U16, false, SIDE_TYPE_BYTE_ORDER_LE, 16, 16, SIDE_PARAM(_attr))
-#define side_type_u32_le(_attr)                                _side_type_integer(SIDE_TYPE_U32, false, SIDE_TYPE_BYTE_ORDER_LE, 32, 32, SIDE_PARAM(_attr))
-#define side_type_u64_le(_attr)                                _side_type_integer(SIDE_TYPE_U64, false, SIDE_TYPE_BYTE_ORDER_LE, 64, 64, SIDE_PARAM(_attr))
-#define side_type_s16_le(_attr)                                _side_type_integer(SIDE_TYPE_S16, true, SIDE_TYPE_BYTE_ORDER_LE, 16, 16, SIDE_PARAM(_attr))
-#define side_type_s32_le(_attr)                                _side_type_integer(SIDE_TYPE_S32, true, SIDE_TYPE_BYTE_ORDER_LE, 32, 32, SIDE_PARAM(_attr))
-#define side_type_s64_le(_attr)                                _side_type_integer(SIDE_TYPE_S64, true, SIDE_TYPE_BYTE_ORDER_LE, 64, 64, SIDE_PARAM(_attr))
-#define side_type_pointer_le(_attr)                    _side_type_integer(SIDE_TYPE_POINTER_HOST, false, SIDE_TYPE_BYTE_ORDER_LE, SIDE_BITS_PER_LONG, \
-                                                                       SIDE_BITS_PER_LONG, SIDE_PARAM(_attr))
-#define side_type_float_binary16_le(_attr)             _side_type_float(SIDE_TYPE_FLOAT_BINARY16, SIDE_TYPE_BYTE_ORDER_LE, 16, SIDE_PARAM(_attr))
-#define side_type_float_binary32_le(_attr)             _side_type_float(SIDE_TYPE_FLOAT_BINARY32, SIDE_TYPE_BYTE_ORDER_LE, 32, SIDE_PARAM(_attr))
-#define side_type_float_binary64_le(_attr)             _side_type_float(SIDE_TYPE_FLOAT_BINARY64, SIDE_TYPE_BYTE_ORDER_LE, 64, SIDE_PARAM(_attr))
-#define side_type_float_binary128_le(_attr)            _side_type_float(SIDE_TYPE_FLOAT_BINARY128, SIDE_TYPE_BYTE_ORDER_LE, 128, SIDE_PARAM(_attr))
-
-#define side_field_u16_le(_name, _attr)                        _side_field(_name, side_type_u16_le(SIDE_PARAM(_attr)))
-#define side_field_u32_le(_name, _attr)                        _side_field(_name, side_type_u32_le(SIDE_PARAM(_attr)))
-#define side_field_u64_le(_name, _attr)                        _side_field(_name, side_type_u64_le(SIDE_PARAM(_attr)))
-#define side_field_s16_le(_name, _attr)                        _side_field(_name, side_type_s16_le(SIDE_PARAM(_attr)))
-#define side_field_s32_le(_name, _attr)                        _side_field(_name, side_type_s32_le(SIDE_PARAM(_attr)))
-#define side_field_s64_le(_name, _attr)                        _side_field(_name, side_type_s64_le(SIDE_PARAM(_attr)))
-#define side_field_pointer_le(_name, _attr)            _side_field(_name, side_type_pointer_le(SIDE_PARAM(_attr)))
-#define side_field_float_binary16_le(_name, _attr)     _side_field(_name, side_type_float_binary16_le(SIDE_PARAM(_attr)))
-#define side_field_float_binary32_le(_name, _attr)     _side_field(_name, side_type_float_binary32_le(SIDE_PARAM(_attr)))
-#define side_field_float_binary64_le(_name, _attr)     _side_field(_name, side_type_float_binary64_le(SIDE_PARAM(_attr)))
-#define side_field_float_binary128_le(_name, _attr)    _side_field(_name, side_type_float_binary128_le(SIDE_PARAM(_attr)))
+#define side_type_u16_le(_attr...)                     _side_type_integer(SIDE_TYPE_U16, false, SIDE_TYPE_BYTE_ORDER_LE, sizeof(uint16_t), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_u32_le(_attr...)                     _side_type_integer(SIDE_TYPE_U32, false, SIDE_TYPE_BYTE_ORDER_LE, sizeof(uint32_t), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_u64_le(_attr...)                     _side_type_integer(SIDE_TYPE_U64, false, SIDE_TYPE_BYTE_ORDER_LE, sizeof(uint64_t), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_s16_le(_attr...)                     _side_type_integer(SIDE_TYPE_S16, true, SIDE_TYPE_BYTE_ORDER_LE, sizeof(int16_t), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_s32_le(_attr...)                     _side_type_integer(SIDE_TYPE_S32, true, SIDE_TYPE_BYTE_ORDER_LE, sizeof(int32_t), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_s64_le(_attr...)                     _side_type_integer(SIDE_TYPE_S64, true, SIDE_TYPE_BYTE_ORDER_LE, sizeof(int64_t), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_pointer_le(_attr...)                 _side_type_integer(SIDE_TYPE_POINTER, false, SIDE_TYPE_BYTE_ORDER_LE, sizeof(uintptr_t), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_float_binary16_le(_attr...)          _side_type_float(SIDE_TYPE_FLOAT_BINARY16, SIDE_TYPE_BYTE_ORDER_LE, sizeof(_Float16), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_float_binary32_le(_attr...)          _side_type_float(SIDE_TYPE_FLOAT_BINARY32, SIDE_TYPE_BYTE_ORDER_LE, sizeof(_Float32), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_float_binary64_le(_attr...)          _side_type_float(SIDE_TYPE_FLOAT_BINARY64, SIDE_TYPE_BYTE_ORDER_LE, sizeof(_Float64), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_float_binary128_le(_attr...)         _side_type_float(SIDE_TYPE_FLOAT_BINARY128, SIDE_TYPE_BYTE_ORDER_LE, sizeof(_Float128), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_string16_le(_attr...)                _side_type_string(SIDE_TYPE_STRING_UTF16, SIDE_TYPE_BYTE_ORDER_LE, sizeof(uint16_t), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_string32_le(_attr...)                        _side_type_string(SIDE_TYPE_STRING_UTF32, SIDE_TYPE_BYTE_ORDER_LE, sizeof(uint32_t), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+
+#define side_field_u16_le(_name, _attr...)             _side_field(_name, side_type_u16_le(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_u32_le(_name, _attr...)             _side_field(_name, side_type_u32_le(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_u64_le(_name, _attr...)             _side_field(_name, side_type_u64_le(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_s16_le(_name, _attr...)             _side_field(_name, side_type_s16_le(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_s32_le(_name, _attr...)             _side_field(_name, side_type_s32_le(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_s64_le(_name, _attr...)             _side_field(_name, side_type_s64_le(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_pointer_le(_name, _attr...)         _side_field(_name, side_type_pointer_le(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_float_binary16_le(_name, _attr...)  _side_field(_name, side_type_float_binary16_le(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_float_binary32_le(_name, _attr...)  _side_field(_name, side_type_float_binary32_le(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_float_binary64_le(_name, _attr...)  _side_field(_name, side_type_float_binary64_le(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_float_binary128_le(_name, _attr...) _side_field(_name, side_type_float_binary128_le(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_string16_le(_name, _attr...)                _side_field(_name, side_type_string16_le(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_string32_le(_name, _attr...)                _side_field(_name, side_type_string32_le(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
 
 /* Big endian */
-#define side_type_u16_be(_attr)                                _side_type_integer(SIDE_TYPE_U16, false, SIDE_TYPE_BYTE_ORDER_BE, 16, 16, SIDE_PARAM(_attr))
-#define side_type_u32_be(_attr)                                _side_type_integer(SIDE_TYPE_U32, false, SIDE_TYPE_BYTE_ORDER_BE, 32, 32, SIDE_PARAM(_attr))
-#define side_type_u64_be(_attr)                                _side_type_integer(SIDE_TYPE_U64, false, SIDE_TYPE_BYTE_ORDER_BE, 64, 64, SIDE_PARAM(_attr))
-#define side_type_s16_be(_attr)                                _side_type_integer(SIDE_TYPE_S16, false, SIDE_TYPE_BYTE_ORDER_BE, 16, 16, SIDE_PARAM(_attr))
-#define side_type_s32_be(_attr)                                _side_type_integer(SIDE_TYPE_S32, false, SIDE_TYPE_BYTE_ORDER_BE, 32, 32, SIDE_PARAM(_attr))
-#define side_type_s64_be(_attr)                                _side_type_integer(SIDE_TYPE_S64, false, SIDE_TYPE_BYTE_ORDER_BE, 64, 64, SIDE_PARAM(_attr))
-#define side_type_pointer_be(_attr)                    _side_type_integer(SIDE_TYPE_POINTER_HOST, false, SIDE_TYPE_BYTE_ORDER_BE, SIDE_BITS_PER_LONG, \
-                                                                       SIDE_BITS_PER_LONG, SIDE_PARAM(_attr))
-#define side_type_float_binary16_be(_attr)             _side_type_float(SIDE_TYPE_FLOAT_BINARY16, SIDE_TYPE_BYTE_ORDER_BE, 16, SIDE_PARAM(_attr))
-#define side_type_float_binary32_be(_attr)             _side_type_float(SIDE_TYPE_FLOAT_BINARY32, SIDE_TYPE_BYTE_ORDER_BE, 32, SIDE_PARAM(_attr))
-#define side_type_float_binary64_be(_attr)             _side_type_float(SIDE_TYPE_FLOAT_BINARY64, SIDE_TYPE_BYTE_ORDER_BE, 64, SIDE_PARAM(_attr))
-#define side_type_float_binary128_be(_attr)            _side_type_float(SIDE_TYPE_FLOAT_BINARY128, SIDE_TYPE_BYTE_ORDER_BE, 128, SIDE_PARAM(_attr))
-
-#define side_field_u16_be(_name, _attr)                        _side_field(_name, side_type_u16_be(SIDE_PARAM(_attr)))
-#define side_field_u32_be(_name, _attr)                        _side_field(_name, side_type_u32_be(SIDE_PARAM(_attr)))
-#define side_field_u64_be(_name, _attr)                        _side_field(_name, side_type_u64_be(SIDE_PARAM(_attr)))
-#define side_field_s16_be(_name, _attr)                        _side_field(_name, side_type_s16_be(SIDE_PARAM(_attr)))
-#define side_field_s32_be(_name, _attr)                        _side_field(_name, side_type_s32_be(SIDE_PARAM(_attr)))
-#define side_field_s64_be(_name, _attr)                        _side_field(_name, side_type_s64_be(SIDE_PARAM(_attr)))
-#define side_field_pointer_be(_name, _attr)            _side_field(_name, side_type_pointer_be(SIDE_PARAM(_attr)))
-#define side_field_float_binary16_be(_name, _attr)     _side_field(_name, side_type_float_binary16_be(SIDE_PARAM(_attr)))
-#define side_field_float_binary32_be(_name, _attr)     _side_field(_name, side_type_float_binary32_be(SIDE_PARAM(_attr)))
-#define side_field_float_binary64_be(_name, _attr)     _side_field(_name, side_type_float_binary64_be(SIDE_PARAM(_attr)))
-#define side_field_float_binary128_be(_name, _attr)    _side_field(_name, side_type_float_binary128_be(SIDE_PARAM(_attr)))
+#define side_type_u16_be(_attr...)                     _side_type_integer(SIDE_TYPE_U16, false, SIDE_TYPE_BYTE_ORDER_BE, sizeof(uint16_t), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_u32_be(_attr...)                     _side_type_integer(SIDE_TYPE_U32, false, SIDE_TYPE_BYTE_ORDER_BE, sizeof(uint32_t), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_u64_be(_attr...)                     _side_type_integer(SIDE_TYPE_U64, false, SIDE_TYPE_BYTE_ORDER_BE, sizeof(uint64_t), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_s16_be(_attr...)                     _side_type_integer(SIDE_TYPE_S16, false, SIDE_TYPE_BYTE_ORDER_BE, sizeof(int16_t), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_s32_be(_attr...)                     _side_type_integer(SIDE_TYPE_S32, false, SIDE_TYPE_BYTE_ORDER_BE, sizeof(int32_t), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_s64_be(_attr...)                     _side_type_integer(SIDE_TYPE_S64, false, SIDE_TYPE_BYTE_ORDER_BE, sizeof(int64_t), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_pointer_be(_attr...)                 _side_type_integer(SIDE_TYPE_POINTER, false, SIDE_TYPE_BYTE_ORDER_BE, sizeof(uintptr_t), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_float_binary16_be(_attr...)          _side_type_float(SIDE_TYPE_FLOAT_BINARY16, SIDE_TYPE_BYTE_ORDER_BE, sizeof(_Float16), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_float_binary32_be(_attr...)          _side_type_float(SIDE_TYPE_FLOAT_BINARY32, SIDE_TYPE_BYTE_ORDER_BE, sizeof(_Float32), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_float_binary64_be(_attr...)          _side_type_float(SIDE_TYPE_FLOAT_BINARY64, SIDE_TYPE_BYTE_ORDER_BE, sizeof(_Float64), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_float_binary128_be(_attr...)         _side_type_float(SIDE_TYPE_FLOAT_BINARY128, SIDE_TYPE_BYTE_ORDER_BE, sizeof(_Float128), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_string16_be(_attr...)                _side_type_string(SIDE_TYPE_STRING_UTF16, SIDE_TYPE_BYTE_ORDER_BE, sizeof(uint16_t), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_string32_be(_attr...)                        _side_type_string(SIDE_TYPE_STRING_UTF32, SIDE_TYPE_BYTE_ORDER_BE, sizeof(uint32_t), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+
+#define side_field_u16_be(_name, _attr...)             _side_field(_name, side_type_u16_be(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_u32_be(_name, _attr...)             _side_field(_name, side_type_u32_be(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_u64_be(_name, _attr...)             _side_field(_name, side_type_u64_be(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_s16_be(_name, _attr...)             _side_field(_name, side_type_s16_be(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_s32_be(_name, _attr...)             _side_field(_name, side_type_s32_be(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_s64_be(_name, _attr...)             _side_field(_name, side_type_s64_be(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_pointer_be(_name, _attr...)         _side_field(_name, side_type_pointer_be(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_float_binary16_be(_name, _attr...)  _side_field(_name, side_type_float_binary16_be(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_float_binary32_be(_name, _attr...)  _side_field(_name, side_type_float_binary32_be(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_float_binary64_be(_name, _attr...)  _side_field(_name, side_type_float_binary64_be(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_float_binary128_be(_name, _attr...) _side_field(_name, side_type_float_binary128_be(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_string16_be(_name, _attr...)                _side_field(_name, side_type_string16_be(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_string32_be(_name, _attr...)                _side_field(_name, side_type_string32_be(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
 
 #define side_type_enum(_mappings, _elem_type) \
        { \
-               .type = SIDE_TYPE_ENUM, \
+               .type = SIDE_ENUM_INIT(SIDE_TYPE_ENUM), \
                .u = { \
                        .side_enum = { \
-                               .mappings = _mappings, \
-                               .elem_type = _elem_type, \
+                               .mappings = SIDE_PTR_INIT(_mappings), \
+                               .elem_type = SIDE_PTR_INIT(_elem_type), \
                        }, \
                }, \
        }
@@ -767,11 +1000,11 @@ struct side_tracer_dynamic_vla_visitor_ctx {
 
 #define side_type_enum_bitmap(_mappings, _elem_type) \
        { \
-               .type = SIDE_TYPE_ENUM_BITMAP, \
+               .type = SIDE_ENUM_INIT(SIDE_TYPE_ENUM_BITMAP), \
                .u = { \
                        .side_enum_bitmap = { \
-                               .mappings = _mappings, \
-                               .elem_type = _elem_type, \
+                               .mappings = SIDE_PTR_INIT(_mappings), \
+                               .elem_type = SIDE_PTR_INIT(_elem_type), \
                        }, \
                }, \
        }
@@ -780,9 +1013,9 @@ struct side_tracer_dynamic_vla_visitor_ctx {
 
 #define side_type_struct(_struct) \
        { \
-               .type = SIDE_TYPE_STRUCT, \
+               .type = SIDE_ENUM_INIT(SIDE_TYPE_STRUCT), \
                .u = { \
-                       .side_struct = _struct, \
+                       .side_struct = SIDE_PTR_INIT(_struct), \
                }, \
        }
 #define side_field_struct(_name, _struct) \
@@ -790,600 +1023,880 @@ struct side_tracer_dynamic_vla_visitor_ctx {
 
 #define _side_type_struct_define(_fields, _attr) \
        { \
+               .fields = SIDE_PTR_INIT(_fields), \
+               .attr = SIDE_PTR_INIT(_attr), \
                .nr_fields = SIDE_ARRAY_SIZE(SIDE_PARAM(_fields)), \
                .nr_attr  = SIDE_ARRAY_SIZE(SIDE_PARAM(_attr)), \
-               .fields = _fields, \
-               .attr = _attr, \
        }
 
-#define side_define_struct(_identifier, _fields, _attr) \
-       const struct side_type_struct _identifier = _side_type_struct_define(SIDE_PARAM(_fields), SIDE_PARAM(_attr))
+#define side_define_struct(_identifier, _fields, _attr...) \
+       const struct side_type_struct _identifier = _side_type_struct_define(SIDE_PARAM(_fields), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
 
-#define side_struct_literal(_fields, _attr) \
+#define side_struct_literal(_fields, _attr...) \
        SIDE_COMPOUND_LITERAL(const struct side_type_struct, \
-               _side_type_struct_define(SIDE_PARAM(_fields), SIDE_PARAM(_attr)))
+               _side_type_struct_define(SIDE_PARAM(_fields), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
 
-/* Scatter-gather struct */
+#define side_type_variant(_variant) \
+       { \
+               .type = SIDE_ENUM_INIT(SIDE_TYPE_VARIANT), \
+               .u = { \
+                       .side_variant = SIDE_PTR_INIT(_variant), \
+               }, \
+       }
+#define side_field_variant(_name, _variant) \
+       _side_field(_name, side_type_variant(SIDE_PARAM(_variant)))
 
-#define _side_type_sg_integer(_type, _signedness, _byte_order, _offset, _integer_size_bits, _offset_bits, _len_bits, _attr) \
+#define _side_type_variant_define(_selector, _options, _attr) \
        { \
-               .offset = _offset, \
-               .type = _type, \
+               .selector = _selector, \
+               .options = SIDE_PTR_INIT(_options), \
+               .attr = SIDE_PTR_INIT(_attr), \
+               .nr_options = SIDE_ARRAY_SIZE(SIDE_PARAM(_options)), \
+               .nr_attr  = SIDE_ARRAY_SIZE(SIDE_PARAM(_attr)), \
+       }
+
+#define side_define_variant(_identifier, _selector, _options, _attr...) \
+       const struct side_type_variant _identifier = \
+               _side_type_variant_define(SIDE_PARAM(_selector), SIDE_PARAM(_options), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+
+#define side_variant_literal(_selector, _options, _attr...) \
+       SIDE_COMPOUND_LITERAL(const struct side_type_variant, \
+               _side_type_variant_define(SIDE_PARAM(_selector), SIDE_PARAM(_options), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+
+#define side_type_array(_elem_type, _length, _attr...) \
+       { \
+               .type = SIDE_ENUM_INIT(SIDE_TYPE_ARRAY), \
                .u = { \
-                       .side_integer = { \
-                               .type = { \
-                                       .attr = _attr, \
-                                       .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM(_attr)), \
-                                       .integer_size_bits = _integer_size_bits, \
-                                       .len_bits = _len_bits, \
-                                       .signedness = _signedness, \
-                                       .byte_order = _byte_order, \
-                               }, \
-                               .offset_bits = _offset_bits, \
+                       .side_array = { \
+                               .elem_type = SIDE_PTR_INIT(_elem_type), \
+                               .attr = SIDE_PTR_INIT(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                               .length = _length, \
+                               .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
                        }, \
                }, \
        }
+#define side_field_array(_name, _elem_type, _length, _attr...) \
+       _side_field(_name, side_type_array(SIDE_PARAM(_elem_type), _length, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
 
-#define _side_field_sg(_name, _type) \
+#define side_type_vla(_elem_type, _attr...) \
        { \
-               .field_name = _name, \
-               .side_type = _type, \
+               .type = SIDE_ENUM_INIT(SIDE_TYPE_VLA), \
+               .u = { \
+                       .side_vla = { \
+                               .elem_type = SIDE_PTR_INIT(_elem_type), \
+                               .attr = SIDE_PTR_INIT(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                               .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                       }, \
+               }, \
        }
+#define side_field_vla(_name, _elem_type, _attr...) \
+       _side_field(_name, side_type_vla(SIDE_PARAM(_elem_type), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
 
-#define side_type_sg_unsigned_integer(_integer_offset, _integer_size_bits, _offset_bits, _len_bits, _attr) \
-       _side_type_sg_integer(SIDE_TYPE_SG_UNSIGNED_INT, false,  SIDE_TYPE_BYTE_ORDER_HOST, \
-                       _integer_offset, _integer_size_bits, _offset_bits, _len_bits, SIDE_PARAM(_attr))
-#define side_type_sg_signed_integer(_integer_offset, _integer_size_bits, _offset_bits, _len_bits, _attr) \
-       _side_type_sg_integer(SIDE_TYPE_SG_SIGNED_INT, true, SIDE_TYPE_BYTE_ORDER_HOST, \
-                       _integer_offset, _integer_size_bits, _offset_bits, _len_bits, SIDE_PARAM(_attr))
+#define side_type_vla_visitor(_elem_type, _visitor, _attr...) \
+       { \
+               .type = SIDE_ENUM_INIT(SIDE_TYPE_VLA_VISITOR), \
+               .u = { \
+                       .side_vla_visitor = { \
+                               .elem_type = SIDE_PTR_INIT(_elem_type), \
+                               .visitor = _visitor, \
+                               .attr = SIDE_PTR_INIT(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                               .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                       }, \
+               }, \
+       }
+#define side_field_vla_visitor(_name, _elem_type, _visitor, _attr...) \
+       _side_field(_name, side_type_vla_visitor(SIDE_PARAM(_elem_type), _visitor, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
 
-#define side_field_sg_unsigned_integer(_name, _integer_offset, _integer_size_bits, _offset_bits, _len_bits, _attr) \
-       _side_field_sg(_name, side_type_sg_unsigned_integer(_integer_offset, _integer_size_bits, _offset_bits, _len_bits, SIDE_PARAM(_attr)))
-#define side_field_sg_signed_integer(_name, _integer_offset, _integer_size_bits, _offset_bits, _len_bits, _attr) \
-       _side_field_sg(_name, side_type_sg_signed_integer(_integer_offset, _integer_size_bits, _offset_bits, _len_bits, SIDE_PARAM(_attr)))
+/* Gather field and type definitions */
 
-#define side_type_struct_sg(_struct_sg) \
+#define side_type_gather_byte(_offset, _access_mode, _attr...) \
        { \
-               .type = SIDE_TYPE_STRUCT_SG, \
+               .type = SIDE_ENUM_INIT(SIDE_TYPE_GATHER_BYTE), \
                .u = { \
-                       .side_struct_sg = _struct_sg, \
+                       .side_gather = { \
+                               .u = { \
+                                       .side_byte = { \
+                                               .offset = _offset, \
+                                               .access_mode = _access_mode, \
+                                               .type = { \
+                                                       .attr = SIDE_PTR_INIT(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                                                       .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                                               }, \
+                                       }, \
+                               }, \
+                       }, \
                }, \
        }
-#define side_field_struct_sg(_name, _struct_sg) \
-       _side_field(_name, side_type_struct_sg(SIDE_PARAM(_struct_sg)))
+#define side_field_gather_byte(_name, _offset, _access_mode, _attr...) \
+       _side_field(_name, side_type_gather_byte(_offset, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
 
-#define _side_type_struct_sg_define(_fields_sg, _attr) \
+#define _side_type_gather_bool(_byte_order, _offset, _bool_size, _offset_bits, _len_bits, _access_mode, _attr...) \
        { \
-               .nr_fields = SIDE_ARRAY_SIZE(SIDE_PARAM(_fields_sg)), \
-               .nr_attr  = SIDE_ARRAY_SIZE(SIDE_PARAM(_attr)), \
-               .fields_sg = _fields_sg, \
-               .attr = _attr, \
+               .type = SIDE_ENUM_INIT(SIDE_TYPE_GATHER_BOOL), \
+               .u = { \
+                       .side_gather = { \
+                               .u = { \
+                                       .side_bool = { \
+                                               .offset = _offset, \
+                                               .access_mode = _access_mode, \
+                                               .type = { \
+                                                       .attr = SIDE_PTR_INIT(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                                                       .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                                                       .bool_size = _bool_size, \
+                                                       .len_bits = _len_bits, \
+                                                       .byte_order = SIDE_ENUM_INIT(_byte_order), \
+                                               }, \
+                                               .offset_bits = _offset_bits, \
+                                       }, \
+                               }, \
+                       }, \
+               }, \
+       }
+#define side_type_gather_bool(_offset, _bool_size, _offset_bits, _len_bits, _access_mode, _attr...) \
+       _side_type_gather_bool(SIDE_TYPE_BYTE_ORDER_HOST, _offset, _bool_size, _offset_bits, _len_bits, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_gather_bool_le(_offset, _bool_size, _offset_bits, _len_bits, _access_mode, _attr...) \
+       _side_type_gather_bool(SIDE_TYPE_BYTE_ORDER_LE, _offset, _bool_size, _offset_bits, _len_bits, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_gather_bool_be(_offset, _bool_size, _offset_bits, _len_bits, _access_mode, _attr...) \
+       _side_type_gather_bool(SIDE_TYPE_BYTE_ORDER_BE, _offset, _bool_size, _offset_bits, _len_bits, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+
+#define side_field_gather_bool(_name, _offset, _bool_size, _offset_bits, _len_bits, _access_mode, _attr...) \
+       _side_field(_name, side_type_gather_bool(_offset, _bool_size, _offset_bits, _len_bits, _access_mode, SIDE_PARAM(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))))
+#define side_field_gather_bool_le(_name, _offset, _bool_size, _offset_bits, _len_bits, _access_mode, _attr...) \
+       _side_field(_name, side_type_gather_bool_le(_offset, _bool_size, _offset_bits, _len_bits, _access_mode, SIDE_PARAM(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))))
+#define side_field_gather_bool_be(_name, _offset, _bool_size, _offset_bits, _len_bits, _access_mode, _attr...) \
+       _side_field(_name, side_type_gather_bool_be(_offset, _bool_size, _offset_bits, _len_bits, _access_mode, SIDE_PARAM(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))))
+
+#define _side_type_gather_integer(_type, _signedness, _byte_order, _offset, \
+               _integer_size, _offset_bits, _len_bits, _access_mode, _attr...) \
+       { \
+               .type = SIDE_ENUM_INIT(_type), \
+               .u = { \
+                       .side_gather = { \
+                               .u = { \
+                                       .side_integer = { \
+                                               .offset = _offset, \
+                                               .access_mode = _access_mode, \
+                                               .type = { \
+                                                       .attr = SIDE_PTR_INIT(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                                                       .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                                                       .integer_size = _integer_size, \
+                                                       .len_bits = _len_bits, \
+                                                       .signedness = _signedness, \
+                                                       .byte_order = SIDE_ENUM_INIT(_byte_order), \
+                                               }, \
+                                               .offset_bits = _offset_bits, \
+                                       }, \
+                               }, \
+                       }, \
+               }, \
        }
 
-#define side_define_struct_sg(_identifier, _fields_sg, _attr) \
-       const struct side_type_struct_sg _identifier = _side_type_struct_sg_define(SIDE_PARAM(_fields_sg), SIDE_PARAM(_attr))
+#define side_type_gather_unsigned_integer(_integer_offset, _integer_size, _offset_bits, _len_bits, _access_mode, _attr...) \
+       _side_type_gather_integer(SIDE_TYPE_GATHER_INTEGER, false,  SIDE_TYPE_BYTE_ORDER_HOST, \
+                       _integer_offset, _integer_size, _offset_bits, _len_bits, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_gather_signed_integer(_integer_offset, _integer_size, _offset_bits, _len_bits, _access_mode, _attr...) \
+       _side_type_gather_integer(SIDE_TYPE_GATHER_INTEGER, true, SIDE_TYPE_BYTE_ORDER_HOST, \
+                       _integer_offset, _integer_size, _offset_bits, _len_bits, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+
+#define side_type_gather_unsigned_integer_le(_integer_offset, _integer_size, _offset_bits, _len_bits, _access_mode, _attr...) \
+       _side_type_gather_integer(SIDE_TYPE_GATHER_INTEGER, false,  SIDE_TYPE_BYTE_ORDER_LE, \
+                       _integer_offset, _integer_size, _offset_bits, _len_bits, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_gather_signed_integer_le(_integer_offset, _integer_size, _offset_bits, _len_bits, _access_mode, _attr...) \
+       _side_type_gather_integer(SIDE_TYPE_GATHER_INTEGER, true, SIDE_TYPE_BYTE_ORDER_LE, \
+                       _integer_offset, _integer_size, _offset_bits, _len_bits, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+
+#define side_type_gather_unsigned_integer_be(_integer_offset, _integer_size, _offset_bits, _len_bits, _access_mode, _attr...) \
+       _side_type_gather_integer(SIDE_TYPE_GATHER_INTEGER, false,  SIDE_TYPE_BYTE_ORDER_BE, \
+                       _integer_offset, _integer_size, _offset_bits, _len_bits, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_gather_signed_integer_be(_integer_offset, _integer_size, _offset_bits, _len_bits, _access_mode, _attr...) \
+       _side_type_gather_integer(SIDE_TYPE_GATHER_INTEGER, true, SIDE_TYPE_BYTE_ORDER_BE, \
+                       _integer_offset, _integer_size, _offset_bits, _len_bits, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+
+#define side_field_gather_unsigned_integer(_name, _integer_offset, _integer_size, _offset_bits, _len_bits, _access_mode, _attr...) \
+       _side_field(_name, side_type_gather_unsigned_integer(_integer_offset, _integer_size, _offset_bits, _len_bits, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_gather_signed_integer(_name, _integer_offset, _integer_size, _offset_bits, _len_bits, _access_mode, _attr...) \
+       _side_field(_name, side_type_gather_signed_integer(_integer_offset, _integer_size, _offset_bits, _len_bits, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+
+#define side_field_gather_unsigned_integer_le(_name, _integer_offset, _integer_size, _offset_bits, _len_bits, _access_mode, _attr...) \
+       _side_field(_name, side_type_gather_unsigned_integer_le(_integer_offset, _integer_size, _offset_bits, _len_bits, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_gather_signed_integer_le(_name, _integer_offset, _integer_size, _offset_bits, _len_bits, _access_mode, _attr...) \
+       _side_field(_name, side_type_gather_signed_integer_le(_integer_offset, _integer_size, _offset_bits, _len_bits, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+
+#define side_field_gather_unsigned_integer_be(_name, _integer_offset, _integer_size, _offset_bits, _len_bits, _access_mode, _attr...) \
+       _side_field(_name, side_type_gather_unsigned_integer_be(_integer_offset, _integer_size, _offset_bits, _len_bits, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_gather_signed_integer_be(_name, _integer_offset, _integer_size, _offset_bits, _len_bits, _access_mode, _attr...) \
+       _side_field(_name, side_type_gather_signed_integer_be(_integer_offset, _integer_size, _offset_bits, _len_bits, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+
+#define side_type_gather_pointer(_offset, _access_mode, _attr...) \
+       _side_type_gather_integer(SIDE_TYPE_GATHER_POINTER, false, SIDE_TYPE_BYTE_ORDER_HOST, \
+                       _offset, sizeof(uintptr_t), 0, 0, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_field_gather_pointer(_name, _offset, _access_mode, _attr...) \
+       _side_field(_name, side_type_gather_pointer(_offset, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+
+#define side_type_gather_pointer_le(_offset, _access_mode, _attr...) \
+       _side_type_gather_integer(SIDE_TYPE_GATHER_POINTER, false, SIDE_TYPE_BYTE_ORDER_LE, \
+                       _offset, sizeof(uintptr_t), 0, 0, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_field_gather_pointer_le(_name, _offset, _access_mode, _attr...) \
+       _side_field(_name, side_type_gather_pointer_le(_offset, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+
+#define side_type_gather_pointer_be(_offset, _access_mode, _attr...) \
+       _side_type_gather_integer(SIDE_TYPE_GATHER_POINTER, false, SIDE_TYPE_BYTE_ORDER_BE, \
+                       _offset, sizeof(uintptr_t), 0, 0, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_field_gather_pointer_be(_name, _offset, _access_mode, _attr...) \
+       _side_field(_name, side_type_gather_pointer_be(_offset, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+
+#define _side_type_gather_float(_byte_order, _offset, _float_size, _access_mode, _attr...) \
+       { \
+               .type = SIDE_ENUM_INIT(SIDE_TYPE_GATHER_FLOAT), \
+               .u = { \
+                       .side_gather = { \
+                               .u = { \
+                                       .side_float = { \
+                                               .offset = _offset, \
+                                               .access_mode = _access_mode, \
+                                               .type = { \
+                                                       .attr = SIDE_PTR_INIT(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                                                       .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                                                       .float_size = _float_size, \
+                                                       .byte_order = SIDE_ENUM_INIT(_byte_order), \
+                                               }, \
+                                       }, \
+                               }, \
+                       }, \
+               }, \
+       }
 
-#define side_struct_sg_literal(_fields_sg, _attr) \
-       SIDE_COMPOUND_LITERAL(const struct side_type_struct_sg, \
-               _side_type_struct_sg_define(SIDE_PARAM(_fields_sg), SIDE_PARAM(_attr)))
+#define side_type_gather_float(_offset, _float_size, _access_mode, _attr...) \
+       _side_type_gather_float(SIDE_TYPE_FLOAT_WORD_ORDER_HOST, _offset, _float_size, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_gather_float_le(_offset, _float_size, _access_mode, _attr...) \
+       _side_type_gather_float(SIDE_TYPE_BYTE_ORDER_LE, _offset, _float_size, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_gather_float_be(_offset, _float_size, _access_mode, _attr...) \
+       _side_type_gather_float(SIDE_TYPE_BYTE_ORDER_BE, _offset, _float_size, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+
+#define side_field_gather_float(_name, _offset, _float_size, _access_mode, _attr...) \
+       _side_field(_name, side_type_gather_float(_offset, _float_size, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_gather_float_le(_name, _offset, _float_size, _access_mode, _attr...) \
+       _side_field(_name, side_type_gather_float_le(_offset, _float_size, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_gather_float_be(_name, _offset, _float_size, _access_mode, _attr...) \
+       _side_field(_name, side_type_gather_float_be(_offset, _float_size, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+
+#define _side_type_gather_string(_offset, _byte_order, _unit_size, _access_mode, _attr...) \
+       { \
+               .type = SIDE_ENUM_INIT(SIDE_TYPE_GATHER_STRING), \
+               .u = { \
+                       .side_gather = { \
+                               .u = { \
+                                       .side_string = { \
+                                               .offset = _offset, \
+                                               .access_mode = _access_mode, \
+                                               .type = { \
+                                                       .attr = SIDE_PTR_INIT(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                                                       .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                                                       .unit_size = _unit_size, \
+                                                       .byte_order = SIDE_ENUM_INIT(_byte_order), \
+                                               }, \
+                                       }, \
+                               }, \
+                       }, \
+               }, \
+       }
+#define side_type_gather_string(_offset, _access_mode, _attr...) \
+       _side_type_gather_string(_offset, SIDE_TYPE_BYTE_ORDER_HOST, sizeof(uint8_t), _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_field_gather_string(_name, _offset, _access_mode, _attr...) \
+       _side_field(_name, side_type_gather_string(_offset, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+
+#define side_type_gather_string16(_offset, _access_mode, _attr...) \
+       _side_type_gather_string(_offset, SIDE_TYPE_BYTE_ORDER_HOST, sizeof(uint16_t), _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_gather_string16_le(_offset, _access_mode, _attr...) \
+       _side_type_gather_string(_offset, SIDE_TYPE_BYTE_ORDER_LE, sizeof(uint16_t), _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_gather_string16_be(_offset, _access_mode, _attr...) \
+       _side_type_gather_string(_offset, SIDE_TYPE_BYTE_ORDER_BE, sizeof(uint16_t), _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+
+#define side_field_gather_string16(_name, _offset, _access_mode, _attr...) \
+       _side_field(_name, side_type_gather_string16(_offset, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_gather_string16_le(_name, _offset, _access_mode, _attr...) \
+       _side_field(_name, side_type_gather_string16_le(_offset, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_gather_string16_be(_name, _offset, _access_mode, _attr...) \
+       _side_field(_name, side_type_gather_string16_be(_offset, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+
+#define side_type_gather_string32(_offset, _access_mode, _attr...) \
+       _side_type_gather_string(_offset, SIDE_TYPE_BYTE_ORDER_HOST, sizeof(uint32_t), _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_gather_string32_le(_offset, _access_mode, _attr...) \
+       _side_type_gather_string(_offset, SIDE_TYPE_BYTE_ORDER_LE, sizeof(uint32_t), _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_type_gather_string32_be(_offset, _access_mode, _attr...) \
+       _side_type_gather_string(_offset, SIDE_TYPE_BYTE_ORDER_BE, sizeof(uint32_t), _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+
+#define side_field_gather_string32(_name, _offset, _access_mode, _attr...) \
+       _side_field(_name, side_type_gather_string32(_offset, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_gather_string32_le(_name, _offset, _access_mode, _attr...) \
+       _side_field(_name, side_type_gather_string32_le(_offset, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+#define side_field_gather_string32_be(_name, _offset, _access_mode, _attr...) \
+       _side_field(_name, side_type_gather_string32_be(_offset, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
+
+#define side_type_gather_enum(_mappings, _elem_type) \
+       { \
+               .type = SIDE_ENUM_INIT(SIDE_TYPE_GATHER_ENUM), \
+               .u = { \
+                       .side_enum = { \
+                               .mappings = SIDE_PTR_INIT(_mappings), \
+                               .elem_type = SIDE_PTR_INIT(_elem_type), \
+                       }, \
+               }, \
+       }
+#define side_field_gather_enum(_name, _mappings, _elem_type) \
+       _side_field(_name, side_type_gather_enum(SIDE_PARAM(_mappings), SIDE_PARAM(_elem_type)))
 
-#define side_type_array(_elem_type, _length, _attr) \
+#define side_type_gather_struct(_struct_gather, _offset, _size, _access_mode) \
        { \
-               .type = SIDE_TYPE_ARRAY, \
+               .type = SIDE_ENUM_INIT(SIDE_TYPE_GATHER_STRUCT), \
                .u = { \
-                       .side_array = { \
-                               .elem_type = _elem_type, \
-                               .attr = _attr, \
-                               .length = _length, \
-                               .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM(_attr)), \
+                       .side_gather = { \
+                               .u = { \
+                                       .side_struct = { \
+                                               .offset = _offset, \
+                                               .access_mode = _access_mode, \
+                                               .type = SIDE_PTR_INIT(_struct_gather), \
+                                               .size = _size, \
+                                       }, \
+                               }, \
                        }, \
                }, \
        }
-#define side_field_array(_name, _elem_type, _length, _attr) \
-       _side_field(_name, side_type_array(SIDE_PARAM(_elem_type), _length, SIDE_PARAM(_attr)))
+#define side_field_gather_struct(_name, _struct_gather, _offset, _size, _access_mode) \
+       _side_field(_name, side_type_gather_struct(SIDE_PARAM(_struct_gather), _offset, _size, _access_mode))
 
-#define side_type_vla(_elem_type, _attr) \
+#define side_type_gather_array(_elem_type_gather, _length, _offset, _access_mode, _attr...) \
        { \
-               .type = SIDE_TYPE_VLA, \
+               .type = SIDE_ENUM_INIT(SIDE_TYPE_GATHER_ARRAY), \
                .u = { \
-                       .side_vla = { \
-                               .elem_type = _elem_type, \
-                               .attr = _attr, \
-                               .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM(_attr)), \
+                       .side_gather = { \
+                               .u = { \
+                                       .side_array = { \
+                                               .offset = _offset, \
+                                               .access_mode = _access_mode, \
+                                               .type = { \
+                                                       .elem_type = SIDE_PTR_INIT(_elem_type_gather), \
+                                                       .attr = SIDE_PTR_INIT(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                                                       .length = _length, \
+                                                       .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                                               }, \
+                                       }, \
+                               }, \
                        }, \
                }, \
        }
-#define side_field_vla(_name, _elem_type, _attr) \
-       _side_field(_name, side_type_vla(SIDE_PARAM(_elem_type), SIDE_PARAM(_attr)))
+#define side_field_gather_array(_name, _elem_type, _length, _offset, _access_mode, _attr...) \
+       _side_field(_name, side_type_gather_array(SIDE_PARAM(_elem_type), _length, _offset, _access_mode, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
 
-#define side_type_vla_visitor(_elem_type, _visitor, _attr) \
+#define side_type_gather_vla(_elem_type_gather, _offset, _access_mode, _length_type_gather, _attr...) \
        { \
-               .type = SIDE_TYPE_VLA_VISITOR, \
+               .type = SIDE_ENUM_INIT(SIDE_TYPE_GATHER_VLA), \
                .u = { \
-                       .side_vla_visitor = { \
-                               .elem_type = SIDE_PARAM(_elem_type), \
-                               .visitor = _visitor, \
-                               .attr = _attr, \
-                               .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM(_attr)), \
+                       .side_gather = { \
+                               .u = { \
+                                       .side_vla = { \
+                                               .length_type = SIDE_PTR_INIT(_length_type_gather), \
+                                               .offset = _offset, \
+                                               .access_mode = _access_mode, \
+                                               .type = { \
+                                                       .elem_type = SIDE_PTR_INIT(_elem_type_gather), \
+                                                       .attr = SIDE_PTR_INIT(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                                                       .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                                               }, \
+                                       }, \
+                               }, \
                        }, \
                }, \
        }
-#define side_field_vla_visitor(_name, _elem_type, _visitor, _attr) \
-       _side_field(_name, side_type_vla_visitor(SIDE_PARAM(_elem_type), _visitor, SIDE_PARAM(_attr)))
+#define side_field_gather_vla(_name, _elem_type_gather, _offset, _access_mode, _length_type_gather, _attr...) \
+       _side_field(_name, side_type_gather_vla(SIDE_PARAM(_elem_type_gather), _offset, _access_mode, SIDE_PARAM(_length_type_gather), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())))
 
 #define side_elem(...) \
-       SIDE_COMPOUND_LITERAL(const struct side_type_description, __VA_ARGS__)
+       SIDE_COMPOUND_LITERAL(const struct side_type, __VA_ARGS__)
+
+#define side_length(...) \
+       SIDE_COMPOUND_LITERAL(const struct side_type, __VA_ARGS__)
 
 #define side_field_list(...) \
        SIDE_COMPOUND_LITERAL(const struct side_event_field, __VA_ARGS__)
 
-#define side_field_sg_list(...) \
-       SIDE_COMPOUND_LITERAL(const struct side_struct_field_sg, __VA_ARGS__)
-
-/* Static field arguments */
-
-#define side_arg_bool(_val)            { .type = SIDE_TYPE_BOOL, .u = { .bool_value = !!(_val) } }
-#define side_arg_byte(_val)            { .type = SIDE_TYPE_BYTE, .u = { .byte_value = (_val) } }
-#define side_arg_string(_val)          { .type = SIDE_TYPE_STRING, .u = { .string_value = (uintptr_t) (_val) } }
-#define side_arg_dynamic(_dynamic_arg_type)    { .type = SIDE_TYPE_DYNAMIC, .u = { .dynamic_value = _dynamic_arg_type } }
-
-#define side_arg_u8(_val)              { .type = SIDE_TYPE_U8, .u = { .integer_value = { .side_u8 = (_val) } } }
-#define side_arg_u16(_val)             { .type = SIDE_TYPE_U16, .u = { .integer_value = { .side_u16 = (_val) } } }
-#define side_arg_u32(_val)             { .type = SIDE_TYPE_U32, .u = { .integer_value = { .side_u32 = (_val) } } }
-#define side_arg_u64(_val)             { .type = SIDE_TYPE_U64, .u = { .integer_value = { .side_u64 = (_val) } } }
-#define side_arg_s8(_val)              { .type = SIDE_TYPE_S8, .u = { .integer_value = { .side_s8 = (_val) } } }
-#define side_arg_s16(_val)             { .type = SIDE_TYPE_S16, .u = { .integer_value = { .side_s16 = (_val) } } }
-#define side_arg_s32(_val)             { .type = SIDE_TYPE_S32, .u = { .integer_value = { .side_s32 = (_val) } } }
-#define side_arg_s64(_val)             { .type = SIDE_TYPE_S64, .u = { .integer_value = { .side_s64 = (_val) } } }
-#define side_arg_pointer(_val)         { .type = SIDE_TYPE_POINTER_HOST, .u = { .integer_value = { SIDE_PTR_HOST = (uintptr_t) (_val) } } }
-#define side_arg_enum_bitmap8(_val)    { .type = SIDE_TYPE_ENUM_BITMAP8, .u = { .integer_value = { .side_u8 = (_val) } } }
-#define side_arg_enum_bitmap16(_val)   { .type = SIDE_TYPE_ENUM_BITMAP16, .u = { .integer_value = { .side_u16 = (_val) } } }
-#define side_arg_enum_bitmap32(_val)   { .type = SIDE_TYPE_ENUM_BITMAP32, .u = { .integer_value = { .side_u32 = (_val) } } }
-#define side_arg_enum_bitmap64(_val)   { .type = SIDE_TYPE_ENUM_BITMAP64, .u = { .integer_value = { .side_u64 = (_val) } } }
-#define side_arg_enum_bitmap_array(_side_type) { .type = SIDE_TYPE_ENUM_BITMAP_ARRAY, .u = { .side_array = (_side_type) } }
-#define side_arg_enum_bitmap_vla(_side_type)   { .type = SIDE_TYPE_ENUM_BITMAP_VLA, .u = { .side_vla = (_side_type) } }
-#define side_arg_float_binary16(_val)  { .type = SIDE_TYPE_FLOAT_BINARY16, .u = { .float_value = { .side_float_binary16 = (_val) } } }
-#define side_arg_float_binary32(_val)  { .type = SIDE_TYPE_FLOAT_BINARY32, .u = { .float_value = { .side_float_binary32 = (_val) } } }
-#define side_arg_float_binary64(_val)  { .type = SIDE_TYPE_FLOAT_BINARY64, .u = { .float_value = { .side_float_binary64 = (_val) } } }
-#define side_arg_float_binary128(_val) { .type = SIDE_TYPE_FLOAT_BINARY128, .u = { .float_value = { .side_float_binary128 = (_val) } } }
-
-#define side_arg_struct(_side_type)    { .type = SIDE_TYPE_STRUCT, .u = { .side_struct = (_side_type) } }
-#define side_arg_struct_sg(_ptr)       { .type = SIDE_TYPE_STRUCT_SG, .u = { .side_struct_sg_ptr = (_ptr) } }
-#define side_arg_array(_side_type)     { .type = SIDE_TYPE_ARRAY, .u = { .side_array = (_side_type) } }
-#define side_arg_vla(_side_type)       { .type = SIDE_TYPE_VLA, .u = { .side_vla = (_side_type) } }
-#define side_arg_vla_visitor(_ctx)     { .type = SIDE_TYPE_VLA_VISITOR, .u = { .side_vla_app_visitor_ctx = (_ctx) } }
-
-#define side_arg_array_u8(_ptr)                { .type = SIDE_TYPE_ARRAY_U8, .u = { .side_array_fixint = (_ptr) } }
-#define side_arg_array_u16(_ptr)       { .type = SIDE_TYPE_ARRAY_U16, .u = { .side_array_fixint = (_ptr) } }
-#define side_arg_array_u32(_ptr)       { .type = SIDE_TYPE_ARRAY_U32, .u = { .side_array_fixint = (_ptr) } }
-#define side_arg_array_u64(_ptr)       { .type = SIDE_TYPE_ARRAY_U64, .u = { .side_array_fixint = (_ptr) } }
-#define side_arg_array_s8(_ptr)                { .type = SIDE_TYPE_ARRAY_S8, .u = { .side_array_fixint = (_ptr) } }
-#define side_arg_array_s16(_ptr)       { .type = SIDE_TYPE_ARRAY_S16, .u = { .side_array_fixint  = (_ptr) } }
-#define side_arg_array_s32(_ptr)       { .type = SIDE_TYPE_ARRAY_S32, .u = { .side_array_fixint = (_ptr) } }
-#define side_arg_array_s64(_ptr)       { .type = SIDE_TYPE_ARRAY_S64, .u = { .side_array_fixint = (_ptr) } }
-#define side_arg_array_byte(_ptr)      { .type = SIDE_TYPE_ARRAY_BYTE, .u = { .side_array_fixint = (_ptr) } }
-#define side_arg_array_pointer(_ptr)   { .type = SIDE_TYPE_ARRAY_POINTER_HOST, .u = { .side_array_fixint = (_ptr) } }
-
-#define side_arg_vla_u8(_ptr, _length) { .type = SIDE_TYPE_VLA_U8, .u = { .side_vla_fixint = { .p = (_ptr), .length = (_length) } }
-#define side_arg_vla_u16(_ptr, _length)        { .type = SIDE_TYPE_VLA_U16, .u = { .side_vla_fixint = { .p = (_ptr), .length = (_length) } } }
-#define side_arg_vla_u32(_ptr, _length)        { .type = SIDE_TYPE_VLA_U32, .u = { .side_vla_fixint = { .p = (_ptr), .length = (_length) } } }
-#define side_arg_vla_u64(_ptr, _length)        { .type = SIDE_TYPE_VLA_U64, .u = { .side_vla_fixint = { .p = (_ptr), .length = (_length) } } }
-#define side_arg_vla_s8(_ptr, _length) { .type = SIDE_TYPE_VLA_S8, .u = { .side_vla_fixint = { .p = (_ptr), .length = (_length) } } }
-#define side_arg_vla_s16(_ptr, _length)        { .type = SIDE_TYPE_VLA_S16, .u = { .side_vla_fixint  = { .p = (_ptr), .length = (_length) } } }
-#define side_arg_vla_s32(_ptr, _length)        { .type = SIDE_TYPE_VLA_S32, .u = { .side_vla_fixint = { .p = (_ptr), .length = (_length) } } }
-#define side_arg_vla_s64(_ptr, _length)        { .type = SIDE_TYPE_VLA_S64, .u = { .side_vla_fixint = { .p = (_ptr), .length = (_length) } } }
-#define side_arg_vla_byte(_ptr, _length) { .type = SIDE_TYPE_VLA_BYTE, .u = { .side_vla_fixint = { .p = (_ptr), .length = (_length) } } }
-#define side_arg_vla_pointer(_ptr, _length) { .type = SIDE_TYPE_VLA_POINTER_HOST, .u = { .side_vla_fixint = { .p = (_ptr), .length = (_length) } } }
+#define side_option_list(...) \
+       SIDE_COMPOUND_LITERAL(const struct side_variant_option, __VA_ARGS__)
+
+/* Stack-copy field arguments */
+
+#define side_arg_null(_val)            { .type = SIDE_ENUM_INIT(SIDE_TYPE_NULL) }
+#define side_arg_bool(_val)            { .type = SIDE_ENUM_INIT(SIDE_TYPE_BOOL), .u = { .side_static = { .bool_value = { .side_bool8 = !!(_val) } } } }
+#define side_arg_byte(_val)            { .type = SIDE_ENUM_INIT(SIDE_TYPE_BYTE), .u = { .side_static = { .byte_value = (_val) } } }
+#define side_arg_string(_val)          { .type = SIDE_ENUM_INIT(SIDE_TYPE_STRING_UTF8), .u = { .side_static = { .string_value = SIDE_PTR_INIT(_val) } } }
+#define side_arg_string16(_val)                { .type = SIDE_ENUM_INIT(SIDE_TYPE_STRING_UTF16), .u = { .side_static = { .string_value = SIDE_PTR_INIT(_val) } } }
+#define side_arg_string32(_val)                { .type = SIDE_ENUM_INIT(SIDE_TYPE_STRING_UTF32), .u = { .side_static = { .string_value = SIDE_PTR_INIT(_val) } } }
+
+#define side_arg_u8(_val)              { .type = SIDE_ENUM_INIT(SIDE_TYPE_U8), .u = { .side_static = {  .integer_value = { .side_u8 = (_val) } } } }
+#define side_arg_u16(_val)             { .type = SIDE_ENUM_INIT(SIDE_TYPE_U16), .u = { .side_static = { .integer_value = { .side_u16 = (_val) } } } }
+#define side_arg_u32(_val)             { .type = SIDE_ENUM_INIT(SIDE_TYPE_U32), .u = { .side_static = { .integer_value = { .side_u32 = (_val) } } } }
+#define side_arg_u64(_val)             { .type = SIDE_ENUM_INIT(SIDE_TYPE_U64), .u = { .side_static = { .integer_value = { .side_u64 = (_val) } } } }
+#define side_arg_s8(_val)              { .type = SIDE_ENUM_INIT(SIDE_TYPE_S8), .u = { .side_static = { .integer_value = { .side_s8 = (_val) } } } }
+#define side_arg_s16(_val)             { .type = SIDE_ENUM_INIT(SIDE_TYPE_S16), .u = { .side_static = { .integer_value = { .side_s16 = (_val) } } } }
+#define side_arg_s32(_val)             { .type = SIDE_ENUM_INIT(SIDE_TYPE_S32), .u = { .side_static = { .integer_value = { .side_s32 = (_val) } } } }
+#define side_arg_s64(_val)             { .type = SIDE_ENUM_INIT(SIDE_TYPE_S64), .u = { .side_static = { .integer_value = { .side_s64 = (_val) } } } }
+#define side_arg_pointer(_val)         { .type = SIDE_ENUM_INIT(SIDE_TYPE_POINTER), .u = { .side_static = { .integer_value = { .side_uptr = (uintptr_t) (_val) } } } }
+#define side_arg_float_binary16(_val)  { .type = SIDE_ENUM_INIT(SIDE_TYPE_FLOAT_BINARY16), .u = { .side_static = { .float_value = { .side_float_binary16 = (_val) } } } }
+#define side_arg_float_binary32(_val)  { .type = SIDE_ENUM_INIT(SIDE_TYPE_FLOAT_BINARY32), .u = { .side_static = { .float_value = { .side_float_binary32 = (_val) } } } }
+#define side_arg_float_binary64(_val)  { .type = SIDE_ENUM_INIT(SIDE_TYPE_FLOAT_BINARY64), .u = { .side_static = { .float_value = { .side_float_binary64 = (_val) } } } }
+#define side_arg_float_binary128(_val) { .type = SIDE_ENUM_INIT(SIDE_TYPE_FLOAT_BINARY128), .u = { .side_static = { .float_value = { .side_float_binary128 = (_val) } } } }
+
+#define side_arg_struct(_side_type)    { .type = SIDE_ENUM_INIT(SIDE_TYPE_STRUCT), .u = { .side_static = { .side_struct = SIDE_PTR_INIT(_side_type) } } }
+
+#define side_arg_define_variant(_identifier, _selector_val, _option) \
+       const struct side_arg_variant _identifier = { \
+               .selector = _selector_val, \
+               .option = _option, \
+       }
+#define side_arg_variant(_side_variant) \
+       { \
+               .type = SIDE_ENUM_INIT(SIDE_TYPE_VARIANT), \
+               .u = { \
+                       .side_static = { \
+                               .side_variant = SIDE_PTR_INIT(_side_variant), \
+                       }, \
+               }, \
+       }
+
+#define side_arg_array(_side_type)     { .type = SIDE_ENUM_INIT(SIDE_TYPE_ARRAY), .u = { .side_static = { .side_array = SIDE_PTR_INIT(_side_type) } } }
+#define side_arg_vla(_side_type)       { .type = SIDE_ENUM_INIT(SIDE_TYPE_VLA), .u = { .side_static = { .side_vla = SIDE_PTR_INIT(_side_type) } } }
+#define side_arg_vla_visitor(_ctx)     { .type = SIDE_ENUM_INIT(SIDE_TYPE_VLA_VISITOR), .u = { .side_static = { .side_vla_app_visitor_ctx = (_ctx) } } }
+
+/* Gather field arguments */
+
+#define side_arg_gather_bool(_ptr)             { .type = SIDE_ENUM_INIT(SIDE_TYPE_GATHER_BOOL), .u = { .side_static = { .side_bool_gather_ptr = SIDE_PTR_INIT(_ptr) } } }
+#define side_arg_gather_byte(_ptr)             { .type = SIDE_ENUM_INIT(SIDE_TYPE_GATHER_BYTE), .u = { .side_static = { .side_byte_gather_ptr = SIDE_PTR_INIT(_ptr) } } }
+#define side_arg_gather_pointer(_ptr)          { .type = SIDE_ENUM_INIT(SIDE_TYPE_GATHER_POINTER), .u = { .side_static = { .side_integer_gather_ptr = SIDE_PTR_INIT(_ptr) } } }
+#define side_arg_gather_integer(_ptr)          { .type = SIDE_ENUM_INIT(SIDE_TYPE_GATHER_INTEGER), .u = { .side_static = { .side_integer_gather_ptr = SIDE_PTR_INIT(_ptr) } } }
+#define side_arg_gather_float(_ptr)            { .type = SIDE_ENUM_INIT(SIDE_TYPE_GATHER_FLOAT), .u = { .side_static = { .side_float_gather_ptr = SIDE_PTR_INIT(_ptr) } } }
+#define side_arg_gather_string(_ptr)           { .type = SIDE_ENUM_INIT(SIDE_TYPE_GATHER_STRING), .u = { .side_static = { .side_string_gather_ptr = SIDE_PTR_INIT(_ptr) } } }
+#define side_arg_gather_struct(_ptr)           { .type = SIDE_ENUM_INIT(SIDE_TYPE_GATHER_STRUCT), .u = { .side_static = { .side_struct_gather_ptr = SIDE_PTR_INIT(_ptr) } } }
+#define side_arg_gather_array(_ptr)            { .type = SIDE_ENUM_INIT(SIDE_TYPE_GATHER_ARRAY), .u = { .side_static = { .side_array_gather_ptr = SIDE_PTR_INIT(_ptr) } } }
+#define side_arg_gather_vla(_ptr, _length_ptr) { .type = SIDE_ENUM_INIT(SIDE_TYPE_GATHER_VLA), .u = { .side_static = { .side_vla_gather = { .ptr = SIDE_PTR_INIT(_ptr), .length_ptr = SIDE_PTR_INIT(_length_ptr) } } } }
 
 /* Dynamic field arguments */
 
-#define side_arg_dynamic_null(_attr) \
+#define side_arg_dynamic_null(_attr...) \
        { \
-               .dynamic_type = SIDE_DYNAMIC_TYPE_NULL, \
+               .type = SIDE_ENUM_INIT(SIDE_TYPE_DYNAMIC_NULL), \
                .u = { \
-                       .side_null_type = { \
-                               .attr = _attr, \
-                               .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM(_attr)), \
+                       .side_dynamic = { \
+                               .side_null = { \
+                                       .attr = SIDE_PTR_INIT(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                                       .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                               }, \
                        }, \
                }, \
        }
 
-#define side_arg_dynamic_bool(_val, _attr) \
+#define side_arg_dynamic_bool(_val, _attr...) \
        { \
-               .dynamic_type = SIDE_DYNAMIC_TYPE_BOOL, \
+               .type = SIDE_ENUM_INIT(SIDE_TYPE_DYNAMIC_BOOL), \
                .u = { \
-                       .side_bool = { \
-                               .type = { \
-                                       .attr = _attr, \
-                                       .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM(_attr)), \
+                       .side_dynamic = { \
+                               .side_bool = { \
+                                       .type = { \
+                                               .attr = SIDE_PTR_INIT(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                                               .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                                               .bool_size = sizeof(uint8_t), \
+                                               .len_bits = 0, \
+                                               .byte_order = SIDE_ENUM_INIT(SIDE_TYPE_BYTE_ORDER_HOST), \
+                                       }, \
+                                       .value = { \
+                                               .side_bool8 = !!(_val), \
+                                       }, \
                                }, \
-                               .value = !!(_val), \
                        }, \
                }, \
        }
 
-#define side_arg_dynamic_byte(_val, _attr) \
+#define side_arg_dynamic_byte(_val, _attr...) \
        { \
-               .dynamic_type = SIDE_DYNAMIC_TYPE_BYTE, \
+               .type = SIDE_ENUM_INIT(SIDE_TYPE_DYNAMIC_BYTE), \
                .u = { \
-                       .side_byte = { \
-                               .type = { \
-                                       .attr = _attr, \
-                                       .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM(_attr)), \
+                       .side_dynamic = { \
+                               .side_byte = { \
+                                       .type = { \
+                                               .attr = SIDE_PTR_INIT(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                                               .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                                       }, \
+                                       .value = (_val), \
                                }, \
-                               .value = (_val), \
                        }, \
                }, \
        }
-#define side_arg_dynamic_string(_val, _attr) \
+
+#define _side_arg_dynamic_string(_val, _byte_order, _unit_size, _attr...) \
        { \
-               .dynamic_type = SIDE_DYNAMIC_TYPE_STRING, \
+               .type = SIDE_ENUM_INIT(SIDE_TYPE_DYNAMIC_STRING), \
                .u = { \
-                       .side_string = { \
-                               .type = { \
-                                       .attr = _attr, \
-                                       .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM(_attr)), \
+                       .side_dynamic = { \
+                               .side_string = { \
+                                       .type = { \
+                                               .attr = SIDE_PTR_INIT(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                                               .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                                               .unit_size = _unit_size, \
+                                               .byte_order = SIDE_ENUM_INIT(_byte_order), \
+                                       }, \
+                                       .value = (uintptr_t) (_val), \
                                }, \
-                               .value = (uintptr_t) (_val), \
                        }, \
                }, \
        }
-
-#define _side_arg_dynamic_integer(_field, _val, _type, _signedness, _byte_order, _integer_size_bits, _len_bits, _attr) \
+#define side_arg_dynamic_string(_val, _attr...) \
+       _side_arg_dynamic_string(_val, SIDE_TYPE_BYTE_ORDER_HOST, sizeof(uint8_t), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_string16(_val, _attr...) \
+       _side_arg_dynamic_string(_val, SIDE_TYPE_BYTE_ORDER_HOST, sizeof(uint16_t), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_string16_le(_val, _attr...) \
+       _side_arg_dynamic_string(_val, SIDE_TYPE_BYTE_ORDER_LE, sizeof(uint16_t), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_string16_be(_val, _attr...) \
+       _side_arg_dynamic_string(_val, SIDE_TYPE_BYTE_ORDER_BE, sizeof(uint16_t), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_string32(_val, _attr...) \
+       _side_arg_dynamic_string(_val, SIDE_TYPE_BYTE_ORDER_HOST, sizeof(uint32_t), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_string32_le(_val, _attr...) \
+       _side_arg_dynamic_string(_val, SIDE_TYPE_BYTE_ORDER_LE, sizeof(uint32_t), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_string32_be(_val, _attr...) \
+       _side_arg_dynamic_string(_val, SIDE_TYPE_BYTE_ORDER_BE, sizeof(uint32_t), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+
+#define _side_arg_dynamic_integer(_field, _val, _type, _signedness, _byte_order, _integer_size, _len_bits, _attr...) \
        { \
-               .dynamic_type = _type, \
+               .type = SIDE_ENUM_INIT(_type), \
                .u = { \
-                       .side_integer = { \
-                               .type = { \
-                                       .attr = _attr, \
-                                       .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM(_attr)), \
-                                       .integer_size_bits = _integer_size_bits, \
-                                       .len_bits = _len_bits, \
-                                       .signedness = _signedness, \
-                                       .byte_order = _byte_order, \
-                               }, \
-                               .value = { \
-                                       _field = (_val), \
+                       .side_dynamic = { \
+                               .side_integer = { \
+                                       .type = { \
+                                               .attr = SIDE_PTR_INIT(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                                               .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                                               .integer_size = _integer_size, \
+                                               .len_bits = _len_bits, \
+                                               .signedness = _signedness, \
+                                               .byte_order = SIDE_ENUM_INIT(_byte_order), \
+                                       }, \
+                                       .value = { \
+                                               _field = (_val), \
+                                       }, \
                                }, \
                        }, \
                }, \
        }
 
-#define side_arg_dynamic_u8(_val, _attr) \
-       _side_arg_dynamic_integer(.side_u8, _val, SIDE_DYNAMIC_TYPE_U8, false, SIDE_TYPE_BYTE_ORDER_HOST, 8, 8, SIDE_PARAM(_attr))
-#define side_arg_dynamic_s8(_val, _attr) \
-       _side_arg_dynamic_integer(.side_s8, _val, SIDE_DYNAMIC_TYPE_S8, true, SIDE_TYPE_BYTE_ORDER_HOST, 8, 8, SIDE_PARAM(_attr))
-
-#define _side_arg_dynamic_u16(_val, _byte_order, _attr) \
-       _side_arg_dynamic_integer(.side_u16, _val, SIDE_DYNAMIC_TYPE_U16, false, _byte_order, 16, 16, SIDE_PARAM(_attr))
-#define _side_arg_dynamic_u32(_val, _byte_order, _attr) \
-       _side_arg_dynamic_integer(.side_u32, _val, SIDE_DYNAMIC_TYPE_U32, false, _byte_order, 32, 32, SIDE_PARAM(_attr))
-#define _side_arg_dynamic_u64(_val, _byte_order, _attr) \
-       _side_arg_dynamic_integer(.side_u64, _val, SIDE_DYNAMIC_TYPE_U64, false, _byte_order, 64, 64, SIDE_PARAM(_attr))
-
-#define _side_arg_dynamic_s16(_val, _byte_order, _attr) \
-       _side_arg_dynamic_integer(.side_s16, _val, SIDE_DYNAMIC_TYPE_S16, true, _byte_order, 16, 16, SIDE_PARAM(_attr))
-#define _side_arg_dynamic_s32(_val, _byte_order, _attr) \
-       _side_arg_dynamic_integer(.side_s32, _val, SIDE_DYNAMIC_TYPE_S32, true, _byte_order, 32, 32, SIDE_PARAM(_attr))
-#define _side_arg_dynamic_s64(_val, _byte_order, _attr) \
-       _side_arg_dynamic_integer(.side_s64, _val, SIDE_DYNAMIC_TYPE_S64, true, _byte_order, 64, 64, SIDE_PARAM(_attr))
-
-#define _side_arg_dynamic_pointer(_val, _byte_order, _attr) \
-       _side_arg_dynamic_integer(SIDE_PTR_HOST, (uintptr_t) (_val), SIDE_DYNAMIC_TYPE_POINTER_HOST, false, _byte_order, \
-                       SIDE_BITS_PER_LONG, SIDE_BITS_PER_LONG, SIDE_PARAM(_attr))
-
-#define _side_arg_dynamic_float(_field, _val, _type, _byte_order, _float_size_bits, _attr) \
+#define side_arg_dynamic_u8(_val, _attr...) \
+       _side_arg_dynamic_integer(.side_u8, _val, SIDE_TYPE_DYNAMIC_INTEGER, false, SIDE_TYPE_BYTE_ORDER_HOST, sizeof(uint8_t), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_s8(_val, _attr...) \
+       _side_arg_dynamic_integer(.side_s8, _val, SIDE_TYPE_DYNAMIC_INTEGER, true, SIDE_TYPE_BYTE_ORDER_HOST, sizeof(int8_t), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+
+#define _side_arg_dynamic_u16(_val, _byte_order, _attr...) \
+       _side_arg_dynamic_integer(.side_u16, _val, SIDE_TYPE_DYNAMIC_INTEGER, false, _byte_order, sizeof(uint16_t), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define _side_arg_dynamic_u32(_val, _byte_order, _attr...) \
+       _side_arg_dynamic_integer(.side_u32, _val, SIDE_TYPE_DYNAMIC_INTEGER, false, _byte_order, sizeof(uint32_t), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define _side_arg_dynamic_u64(_val, _byte_order, _attr...) \
+       _side_arg_dynamic_integer(.side_u64, _val, SIDE_TYPE_DYNAMIC_INTEGER, false, _byte_order, sizeof(uint64_t), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+
+#define _side_arg_dynamic_s16(_val, _byte_order, _attr...) \
+       _side_arg_dynamic_integer(.side_s16, _val, SIDE_TYPE_DYNAMIC_INTEGER, true, _byte_order, sizeof(int16_t), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define _side_arg_dynamic_s32(_val, _byte_order, _attr...) \
+       _side_arg_dynamic_integer(.side_s32, _val, SIDE_TYPE_DYNAMIC_INTEGER, true, _byte_order, sizeof(int32_t), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define _side_arg_dynamic_s64(_val, _byte_order, _attr...) \
+       _side_arg_dynamic_integer(.side_s64, _val, SIDE_TYPE_DYNAMIC_INTEGER, true, _byte_order, sizeof(int64_t), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+
+#define _side_arg_dynamic_pointer(_val, _byte_order, _attr...) \
+       _side_arg_dynamic_integer(.side_uptr, (uintptr_t) (_val), SIDE_TYPE_DYNAMIC_POINTER, false, _byte_order, \
+                       sizeof(uintptr_t), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+
+#define _side_arg_dynamic_float(_field, _val, _type, _byte_order, _float_size, _attr...) \
        { \
-               .dynamic_type = _type, \
+               .type = SIDE_ENUM_INIT(_type), \
                .u = { \
-                       .side_float = { \
-                               .type = { \
-                                       .attr = _attr, \
-                                       .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM(_attr)), \
-                                       .byte_order = _byte_order, \
-                                       .float_size_bits = _float_size_bits, \
-                               }, \
-                               .value = { \
-                                       _field = (_val), \
+                       .side_dynamic = { \
+                               .side_float = { \
+                                       .type = { \
+                                               .attr = SIDE_PTR_INIT(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                                               .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                                               .float_size = _float_size, \
+                                               .byte_order = SIDE_ENUM_INIT(_byte_order), \
+                                       }, \
+                                       .value = { \
+                                               _field = (_val), \
+                                       }, \
                                }, \
                        }, \
                }, \
        }
 
-#define _side_arg_dynamic_float_binary16(_val, _byte_order, _attr) \
-       _side_arg_dynamic_float(.side_float_binary16, _val, SIDE_DYNAMIC_TYPE_FLOAT_BINARY16, _byte_order, 16, SIDE_PARAM(_attr))
-#define _side_arg_dynamic_float_binary32(_val, _byte_order, _attr) \
-       _side_arg_dynamic_float(.side_float_binary32, _val, SIDE_DYNAMIC_TYPE_FLOAT_BINARY32, _byte_order, 32, SIDE_PARAM(_attr))
-#define _side_arg_dynamic_float_binary64(_val, _byte_order, _attr) \
-       _side_arg_dynamic_float(.side_float_binary64, _val, SIDE_DYNAMIC_TYPE_FLOAT_BINARY64, _byte_order, 64, SIDE_PARAM(_attr))
-#define _side_arg_dynamic_float_binary128(_val, _byte_order, _attr) \
-       _side_arg_dynamic_float(.side_float_binary128, _val, SIDE_DYNAMIC_TYPE_FLOAT_BINARY128, _byte_order, 128, SIDE_PARAM(_attr))
+#define _side_arg_dynamic_float_binary16(_val, _byte_order, _attr...) \
+       _side_arg_dynamic_float(.side_float_binary16, _val, SIDE_TYPE_DYNAMIC_FLOAT, _byte_order, sizeof(_Float16), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define _side_arg_dynamic_float_binary32(_val, _byte_order, _attr...) \
+       _side_arg_dynamic_float(.side_float_binary32, _val, SIDE_TYPE_DYNAMIC_FLOAT, _byte_order, sizeof(_Float32), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define _side_arg_dynamic_float_binary64(_val, _byte_order, _attr...) \
+       _side_arg_dynamic_float(.side_float_binary64, _val, SIDE_TYPE_DYNAMIC_FLOAT, _byte_order, sizeof(_Float64), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define _side_arg_dynamic_float_binary128(_val, _byte_order, _attr...) \
+       _side_arg_dynamic_float(.side_float_binary128, _val, SIDE_TYPE_DYNAMIC_FLOAT, _byte_order, sizeof(_Float128), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
 
 /* Host endian */
-#define side_arg_dynamic_u16(_val, _attr)              _side_arg_dynamic_u16(_val, SIDE_TYPE_BYTE_ORDER_HOST, SIDE_PARAM(_attr))
-#define side_arg_dynamic_u32(_val, _attr)              _side_arg_dynamic_u32(_val, SIDE_TYPE_BYTE_ORDER_HOST, SIDE_PARAM(_attr))
-#define side_arg_dynamic_u64(_val, _attr)              _side_arg_dynamic_u64(_val, SIDE_TYPE_BYTE_ORDER_HOST, SIDE_PARAM(_attr))
-#define side_arg_dynamic_s16(_val, _attr)              _side_arg_dynamic_s16(_val, SIDE_TYPE_BYTE_ORDER_HOST, SIDE_PARAM(_attr))
-#define side_arg_dynamic_s32(_val, _attr)              _side_arg_dynamic_s32(_val, SIDE_TYPE_BYTE_ORDER_HOST, SIDE_PARAM(_attr))
-#define side_arg_dynamic_s64(_val, _attr)              _side_arg_dynamic_s64(_val, SIDE_TYPE_BYTE_ORDER_HOST, SIDE_PARAM(_attr))
-#define side_arg_dynamic_pointer(_val, _attr)          _side_arg_dynamic_pointer(_val, SIDE_TYPE_BYTE_ORDER_HOST, SIDE_PARAM(_attr))
-#define side_arg_dynamic_float_binary16(_val, _attr)   _side_arg_dynamic_float_binary16(_val, SIDE_TYPE_FLOAT_WORD_ORDER_HOST, SIDE_PARAM(_attr))
-#define side_arg_dynamic_float_binary32(_val, _attr)   _side_arg_dynamic_float_binary32(_val, SIDE_TYPE_FLOAT_WORD_ORDER_HOST, SIDE_PARAM(_attr))
-#define side_arg_dynamic_float_binary64(_val, _attr)   _side_arg_dynamic_float_binary64(_val, SIDE_TYPE_FLOAT_WORD_ORDER_HOST, SIDE_PARAM(_attr))
-#define side_arg_dynamic_float_binary128(_val, _attr)  _side_arg_dynamic_float_binary128(_val, SIDE_TYPE_FLOAT_WORD_ORDER_HOST, SIDE_PARAM(_attr))
+#define side_arg_dynamic_u16(_val, _attr...)                   _side_arg_dynamic_u16(_val, SIDE_TYPE_BYTE_ORDER_HOST, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_u32(_val, _attr...)                   _side_arg_dynamic_u32(_val, SIDE_TYPE_BYTE_ORDER_HOST, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_u64(_val, _attr...)                   _side_arg_dynamic_u64(_val, SIDE_TYPE_BYTE_ORDER_HOST, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_s16(_val, _attr...)                   _side_arg_dynamic_s16(_val, SIDE_TYPE_BYTE_ORDER_HOST, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_s32(_val, _attr...)                   _side_arg_dynamic_s32(_val, SIDE_TYPE_BYTE_ORDER_HOST, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_s64(_val, _attr...)                   _side_arg_dynamic_s64(_val, SIDE_TYPE_BYTE_ORDER_HOST, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_pointer(_val, _attr...)               _side_arg_dynamic_pointer(_val, SIDE_TYPE_BYTE_ORDER_HOST, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_float_binary16(_val, _attr...)                _side_arg_dynamic_float_binary16(_val, SIDE_TYPE_FLOAT_WORD_ORDER_HOST, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_float_binary32(_val, _attr...)                _side_arg_dynamic_float_binary32(_val, SIDE_TYPE_FLOAT_WORD_ORDER_HOST, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_float_binary64(_val, _attr...)                _side_arg_dynamic_float_binary64(_val, SIDE_TYPE_FLOAT_WORD_ORDER_HOST, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_float_binary128(_val, _attr...)       _side_arg_dynamic_float_binary128(_val, SIDE_TYPE_FLOAT_WORD_ORDER_HOST, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
 
 /* Little endian */
-#define side_arg_dynamic_u16_le(_val, _attr)                   _side_arg_dynamic_u16(_val, SIDE_TYPE_BYTE_ORDER_LE, SIDE_PARAM(_attr))
-#define side_arg_dynamic_u32_le(_val, _attr)                   _side_arg_dynamic_u32(_val, SIDE_TYPE_BYTE_ORDER_LE, SIDE_PARAM(_attr))
-#define side_arg_dynamic_u64_le(_val, _attr)                   _side_arg_dynamic_u64(_val, SIDE_TYPE_BYTE_ORDER_LE, SIDE_PARAM(_attr))
-#define side_arg_dynamic_s16_le(_val, _attr)                   _side_arg_dynamic_s16(_val, SIDE_TYPE_BYTE_ORDER_LE, SIDE_PARAM(_attr))
-#define side_arg_dynamic_s32_le(_val, _attr)                   _side_arg_dynamic_s32(_val, SIDE_TYPE_BYTE_ORDER_LE, SIDE_PARAM(_attr))
-#define side_arg_dynamic_s64_le(_val, _attr)                   _side_arg_dynamic_s64(_val, SIDE_TYPE_BYTE_ORDER_LE, SIDE_PARAM(_attr))
-#define side_arg_dynamic_pointer_le(_val, _attr)               _side_arg_dynamic_pointer(_val, SIDE_TYPE_BYTE_ORDER_LE, SIDE_PARAM(_attr))
-#define side_arg_dynamic_float_binary16_le(_val, _attr)                _side_arg_dynamic_float_binary16(_val, SIDE_TYPE_BYTE_ORDER_LE, SIDE_PARAM(_attr))
-#define side_arg_dynamic_float_binary32_le(_val, _attr)                _side_arg_dynamic_float_binary32(_val, SIDE_TYPE_BYTE_ORDER_LE, SIDE_PARAM(_attr))
-#define side_arg_dynamic_float_binary64_le(_val, _attr)                _side_arg_dynamic_float_binary64(_val, SIDE_TYPE_BYTE_ORDER_LE, SIDE_PARAM(_attr))
-#define side_arg_dynamic_float_binary128_le(_val, _attr)       _side_arg_dynamic_float_binary128(_val, SIDE_TYPE_BYTE_ORDER_LE, SIDE_PARAM(_attr))
+#define side_arg_dynamic_u16_le(_val, _attr...)                _side_arg_dynamic_u16(_val, SIDE_TYPE_BYTE_ORDER_LE, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_u32_le(_val, _attr...)                _side_arg_dynamic_u32(_val, SIDE_TYPE_BYTE_ORDER_LE, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_u64_le(_val, _attr...)                _side_arg_dynamic_u64(_val, SIDE_TYPE_BYTE_ORDER_LE, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_s16_le(_val, _attr...)                _side_arg_dynamic_s16(_val, SIDE_TYPE_BYTE_ORDER_LE, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_s32_le(_val, _attr...)                _side_arg_dynamic_s32(_val, SIDE_TYPE_BYTE_ORDER_LE, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_s64_le(_val, _attr...)                _side_arg_dynamic_s64(_val, SIDE_TYPE_BYTE_ORDER_LE, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_pointer_le(_val, _attr...)            _side_arg_dynamic_pointer(_val, SIDE_TYPE_BYTE_ORDER_LE, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_float_binary16_le(_val, _attr...)     _side_arg_dynamic_float_binary16(_val, SIDE_TYPE_BYTE_ORDER_LE, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_float_binary32_le(_val, _attr...)     _side_arg_dynamic_float_binary32(_val, SIDE_TYPE_BYTE_ORDER_LE, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_float_binary64_le(_val, _attr...)     _side_arg_dynamic_float_binary64(_val, SIDE_TYPE_BYTE_ORDER_LE, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_float_binary128_le(_val, _attr...)    _side_arg_dynamic_float_binary128(_val, SIDE_TYPE_BYTE_ORDER_LE, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
 
 /* Big endian */
-#define side_arg_dynamic_u16_be(_val, _attr)                   _side_arg_dynamic_u16(_val, SIDE_TYPE_BYTE_ORDER_BE, SIDE_PARAM(_attr))
-#define side_arg_dynamic_u32_be(_val, _attr)                   _side_arg_dynamic_u32(_val, SIDE_TYPE_BYTE_ORDER_BE, SIDE_PARAM(_attr))
-#define side_arg_dynamic_u64_be(_val, _attr)                   _side_arg_dynamic_u64(_val, SIDE_TYPE_BYTE_ORDER_BE, SIDE_PARAM(_attr))
-#define side_arg_dynamic_s16_be(_val, _attr)                   _side_arg_dynamic_s16(_val, SIDE_TYPE_BYTE_ORDER_BE, SIDE_PARAM(_attr))
-#define side_arg_dynamic_s32_be(_val, _attr)                   _side_arg_dynamic_s32(_val, SIDE_TYPE_BYTE_ORDER_BE, SIDE_PARAM(_attr))
-#define side_arg_dynamic_s64_be(_val, _attr)                   _side_arg_dynamic_s64(_val, SIDE_TYPE_BYTE_ORDER_BE, SIDE_PARAM(_attr))
-#define side_arg_dynamic_pointer_be(_val, _attr)               _side_arg_dynamic_pointer(_val, SIDE_TYPE_BYTE_ORDER_BE, SIDE_PARAM(_attr))
-#define side_arg_dynamic_float_binary16_be(_val, _attr)                _side_arg_dynamic_float_binary16(_val, SIDE_TYPE_BYTE_ORDER_BE, SIDE_PARAM(_attr))
-#define side_arg_dynamic_float_binary32_be(_val, _attr)                _side_arg_dynamic_float_binary32(_val, SIDE_TYPE_BYTE_ORDER_BE, SIDE_PARAM(_attr))
-#define side_arg_dynamic_float_binary64_be(_val, _attr)                _side_arg_dynamic_float_binary64(_val, SIDE_TYPE_BYTE_ORDER_BE, SIDE_PARAM(_attr))
-#define side_arg_dynamic_float_binary128_be(_val, _attr)       _side_arg_dynamic_float_binary128(_val, SIDE_TYPE_BYTE_ORDER_BE, SIDE_PARAM(_attr))
+#define side_arg_dynamic_u16_be(_val, _attr...)                _side_arg_dynamic_u16(_val, SIDE_TYPE_BYTE_ORDER_BE, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_u32_be(_val, _attr...)                _side_arg_dynamic_u32(_val, SIDE_TYPE_BYTE_ORDER_BE, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_u64_be(_val, _attr...)                _side_arg_dynamic_u64(_val, SIDE_TYPE_BYTE_ORDER_BE, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_s16_be(_val, _attr...)                _side_arg_dynamic_s16(_val, SIDE_TYPE_BYTE_ORDER_BE, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_s32_be(_val, _attr...)                _side_arg_dynamic_s32(_val, SIDE_TYPE_BYTE_ORDER_BE, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_s64_be(_val, _attr...)                _side_arg_dynamic_s64(_val, SIDE_TYPE_BYTE_ORDER_BE, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_pointer_be(_val, _attr...)            _side_arg_dynamic_pointer(_val, SIDE_TYPE_BYTE_ORDER_BE, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_float_binary16_be(_val, _attr...)     _side_arg_dynamic_float_binary16(_val, SIDE_TYPE_BYTE_ORDER_BE, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_float_binary32_be(_val, _attr...)     _side_arg_dynamic_float_binary32(_val, SIDE_TYPE_BYTE_ORDER_BE, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_float_binary64_be(_val, _attr...)     _side_arg_dynamic_float_binary64(_val, SIDE_TYPE_BYTE_ORDER_BE, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
+#define side_arg_dynamic_float_binary128_be(_val, _attr...)    _side_arg_dynamic_float_binary128(_val, SIDE_TYPE_BYTE_ORDER_BE, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
 
 #define side_arg_dynamic_vla(_vla) \
        { \
-               .dynamic_type = SIDE_DYNAMIC_TYPE_VLA, \
+               .type = SIDE_ENUM_INIT(SIDE_TYPE_DYNAMIC_VLA), \
                .u = { \
-                       .side_dynamic_vla = (_vla), \
+                       .side_dynamic = { \
+                               .side_dynamic_vla = SIDE_PTR_INIT(_vla), \
+                       }, \
                }, \
        }
 
-#define side_arg_dynamic_vla_visitor(_dynamic_vla_visitor, _ctx, _attr) \
+#define side_arg_dynamic_vla_visitor(_dynamic_vla_visitor, _ctx, _attr...) \
        { \
-               .dynamic_type = SIDE_DYNAMIC_TYPE_VLA_VISITOR, \
+               .type = SIDE_ENUM_INIT(SIDE_TYPE_DYNAMIC_VLA_VISITOR), \
                .u = { \
-                       .side_dynamic_vla_visitor = { \
-                               .app_ctx = _ctx, \
-                               .visitor = _dynamic_vla_visitor, \
-                               .attr = _attr, \
-                               .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM(_attr)), \
+                       .side_dynamic = { \
+                               .side_dynamic_vla_visitor = { \
+                                       .app_ctx = _ctx, \
+                                       .visitor = _dynamic_vla_visitor, \
+                                       .attr = SIDE_PTR_INIT(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                                       .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                               }, \
                        }, \
                }, \
        }
 
 #define side_arg_dynamic_struct(_struct) \
        { \
-               .dynamic_type = SIDE_DYNAMIC_TYPE_STRUCT, \
+               .type = SIDE_ENUM_INIT(SIDE_TYPE_DYNAMIC_STRUCT), \
                .u = { \
-                       .side_dynamic_struct = (_struct), \
+                       .side_dynamic = { \
+                               .side_dynamic_struct = SIDE_PTR_INIT(_struct), \
+                       }, \
                }, \
        }
 
-#define side_arg_dynamic_struct_visitor(_dynamic_struct_visitor, _ctx, _attr) \
+#define side_arg_dynamic_struct_visitor(_dynamic_struct_visitor, _ctx, _attr...) \
        { \
-               .dynamic_type = SIDE_DYNAMIC_TYPE_STRUCT_VISITOR, \
+               .type = SIDE_ENUM_INIT(SIDE_TYPE_DYNAMIC_STRUCT_VISITOR), \
                .u = { \
-                       .side_dynamic_struct_visitor = { \
-                               .app_ctx = _ctx, \
-                               .visitor = _dynamic_struct_visitor, \
-                               .attr = _attr, \
-                               .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM(_attr)), \
+                       .side_dynamic = { \
+                               .side_dynamic_struct_visitor = { \
+                                       .app_ctx = _ctx, \
+                                       .visitor = _dynamic_struct_visitor, \
+                                       .attr = SIDE_PTR_INIT(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                                       .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
+                               }, \
                        }, \
                }, \
        }
 
-#define side_arg_dynamic_define_vec(_identifier, _sav, _attr) \
-       const struct side_arg_dynamic_vec _identifier##_vec[] = { _sav }; \
-       const struct side_arg_dynamic_vec_vla _identifier = { \
-               .sav = _identifier##_vec, \
-               .attr = _attr, \
+#define side_arg_dynamic_define_vec(_identifier, _sav, _attr...) \
+       const struct side_arg _identifier##_vec[] = { _sav }; \
+       const struct side_arg_dynamic_vla _identifier = { \
+               .sav = SIDE_PTR_INIT(_identifier##_vec), \
+               .attr = SIDE_PTR_INIT(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
                .len = SIDE_ARRAY_SIZE(_identifier##_vec), \
-               .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM(_attr)), \
+               .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
        }
 
-#define side_arg_dynamic_define_struct(_identifier, _struct_fields, _attr) \
-       const struct side_arg_dynamic_event_field _identifier##_fields[] = { _struct_fields }; \
-       const struct side_arg_dynamic_event_struct _identifier = { \
-               .fields = _identifier##_fields, \
-               .attr = _attr, \
+#define side_arg_dynamic_define_struct(_identifier, _struct_fields, _attr...) \
+       const struct side_arg_dynamic_field _identifier##_fields[] = { _struct_fields }; \
+       const struct side_arg_dynamic_struct _identifier = { \
+               .fields = SIDE_PTR_INIT(_identifier##_fields), \
+               .attr = SIDE_PTR_INIT(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
                .len = SIDE_ARRAY_SIZE(_identifier##_fields), \
-               .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM(_attr)), \
+               .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
        }
 
 #define side_arg_define_vec(_identifier, _sav) \
-       const struct side_arg_vec _identifier##_vec[] = { _sav }; \
-       const struct side_arg_vec_description _identifier = { \
-               .sav = _identifier##_vec, \
+       const struct side_arg _identifier##_vec[] = { _sav }; \
+       const struct side_arg_vec _identifier = { \
+               .sav = SIDE_PTR_INIT(_identifier##_vec), \
                .len = SIDE_ARRAY_SIZE(_identifier##_vec), \
        }
 
 #define side_arg_dynamic_field(_name, _elem) \
        { \
-               .field_name = _name, \
+               .field_name = SIDE_PTR_INIT(_name), \
                .elem = _elem, \
        }
 
-#define side_arg_list(...)     __VA_ARGS__
-
-#define side_define_enum(_identifier, _mappings, _attr) \
-       const struct side_enum_mappings _identifier = { \
-               .mappings = _mappings, \
-               .attr = _attr, \
-               .nr_mappings = SIDE_ARRAY_SIZE(SIDE_PARAM(_mappings)), \
-               .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM(_attr)), \
-       }
-
-#define side_enum_mapping_list(...) \
-       SIDE_COMPOUND_LITERAL(const struct side_enum_mapping, __VA_ARGS__)
-
-#define side_enum_mapping_range(_label, _begin, _end) \
-       { \
-               .range_begin = _begin, \
-               .range_end = _end, \
-               .label = _label, \
-       }
-
-#define side_enum_mapping_value(_label, _value) \
-       { \
-               .range_begin = _value, \
-               .range_end = _value, \
-               .label = _label, \
-       }
-
-#define side_define_enum_bitmap(_identifier, _mappings, _attr) \
-       const struct side_enum_bitmap_mappings _identifier = { \
-               .mappings = _mappings, \
-               .attr = _attr, \
-               .nr_mappings = SIDE_ARRAY_SIZE(SIDE_PARAM(_mappings)), \
-               .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM(_attr)), \
-       }
-
-#define side_enum_bitmap_mapping_list(...) \
-       SIDE_COMPOUND_LITERAL(const struct side_enum_bitmap_mapping, __VA_ARGS__)
-
-#define side_enum_bitmap_mapping_range(_label, _begin, _end) \
-       { \
-               .range_begin = _begin, \
-               .range_end = _end, \
-               .label = _label, \
-       }
+/*
+ * Event instrumentation description registration, runtime enabled state
+ * check, and instrumentation invocation.
+ */
 
-#define side_enum_bitmap_mapping_value(_label, _value) \
-       { \
-               .range_begin = _value, \
-               .range_end = _value, \
-               .label = _label, \
-       }
+#define side_arg_list(...)     __VA_ARGS__
 
 #define side_event_cond(_identifier) \
-       if (side_unlikely(__atomic_load_n(&side_event_enable__##_identifier, \
+       if (side_unlikely(__atomic_load_n(&side_event_state__##_identifier.enabled, \
                                        __ATOMIC_RELAXED)))
 
 #define side_event_call(_identifier, _sav) \
        { \
-               const struct side_arg_vec side_sav[] = { _sav }; \
-               const struct side_arg_vec_description sav_desc = { \
-                       .sav = side_sav, \
+               const struct side_arg side_sav[] = { _sav }; \
+               const struct side_arg_vec side_arg_vec = { \
+                       .sav = SIDE_PTR_INIT(side_sav), \
                        .len = SIDE_ARRAY_SIZE(side_sav), \
                }; \
-               side_call(&(_identifier), &sav_desc); \
+               side_call(&(_identifier), &side_arg_vec); \
        }
 
 #define side_event(_identifier, _sav) \
        side_event_cond(_identifier) \
                side_event_call(_identifier, SIDE_PARAM(_sav))
 
-#define side_event_call_variadic(_identifier, _sav, _var_fields, _attr) \
+#define side_event_call_variadic(_identifier, _sav, _var_fields, _attr...) \
        { \
-               const struct side_arg_vec side_sav[] = { _sav }; \
-               const struct side_arg_vec_description sav_desc = { \
-                       .sav = side_sav, \
+               const struct side_arg side_sav[] = { _sav }; \
+               const struct side_arg_vec side_arg_vec = { \
+                       .sav = SIDE_PTR_INIT(side_sav), \
                        .len = SIDE_ARRAY_SIZE(side_sav), \
                }; \
-               const struct side_arg_dynamic_event_field side_fields[] = { _var_fields }; \
-               const struct side_arg_dynamic_event_struct var_struct = { \
-                       .fields = side_fields, \
-                       .attr = _attr, \
+               const struct side_arg_dynamic_field side_fields[] = { _var_fields }; \
+               const struct side_arg_dynamic_struct var_struct = { \
+                       .fields = SIDE_PTR_INIT(side_fields), \
+                       .attr = SIDE_PTR_INIT(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
                        .len = SIDE_ARRAY_SIZE(side_fields), \
-                       .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM(_attr)), \
+                       .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
                }; \
-               side_call_variadic(&(_identifier), &sav_desc, &var_struct); \
+               side_call_variadic(&(_identifier), &side_arg_vec, &var_struct); \
        }
 
-#define side_event_variadic(_identifier, _sav, _var, _attr) \
+#define side_event_variadic(_identifier, _sav, _var, _attr...) \
        side_event_cond(_identifier) \
-               side_event_call_variadic(_identifier, SIDE_PARAM(_sav), SIDE_PARAM(_var), SIDE_PARAM(_attr))
+               side_event_call_variadic(_identifier, SIDE_PARAM(_sav), SIDE_PARAM(_var), SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
 
-#define _side_define_event(_linkage, _identifier, _provider, _event, _loglevel, _fields, _attr, _flags) \
-       _linkage uintptr_t side_event_enable__##_identifier __attribute__((section("side_event_enable"))); \
+#define _side_define_event(_linkage, _identifier, _provider, _event, _loglevel, _fields, _flags, _attr...) \
+       _linkage struct side_event_state __attribute__((section("side_event_state"))) \
+                       side_event_state__##_identifier = { \
+               .enabled = 0, \
+               .callbacks = &side_empty_callback, \
+               .nr_callbacks = 0, \
+       }; \
        _linkage struct side_event_description __attribute__((section("side_event_description"))) \
                        _identifier = { \
-               .enabled = &(side_event_enable__##_identifier), \
-               .provider_name = _provider, \
-               .event_name = _event, \
-               .fields = _fields, \
-               .attr = _attr, \
-               .callbacks = &side_empty_callback, \
+               .state = SIDE_PTR_INIT(&(side_event_state__##_identifier)), \
+               .provider_name = SIDE_PTR_INIT(_provider), \
+               .event_name = SIDE_PTR_INIT(_event), \
+               .fields = SIDE_PTR_INIT(_fields), \
+               .attr = SIDE_PTR_INIT(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
                .flags = (_flags), \
                .version = 0, \
-               .loglevel = _loglevel, \
+               .loglevel = SIDE_ENUM_INIT(_loglevel), \
                .nr_fields = SIDE_ARRAY_SIZE(SIDE_PARAM(_fields)), \
-               .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM(_attr)), \
-               .nr_callbacks = 0, \
+               .nr_attr = SIDE_ARRAY_SIZE(SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list())), \
        }; \
        static const struct side_event_description *side_event_ptr__##_identifier \
                __attribute__((section("side_event_description_ptr"), used)) = &(_identifier);
 
-#define side_static_event(_identifier, _provider, _event, _loglevel, _fields, _attr) \
+#define side_static_event(_identifier, _provider, _event, _loglevel, _fields, _attr...) \
        _side_define_event(static, _identifier, _provider, _event, _loglevel, SIDE_PARAM(_fields), \
-                       SIDE_PARAM(_attr), 0)
+                       0, ##_attr)
 
-#define side_static_event_variadic(_identifier, _provider, _event, _loglevel, _fields, _attr) \
+#define side_static_event_variadic(_identifier, _provider, _event, _loglevel, _fields, _attr...) \
        _side_define_event(static, _identifier, _provider, _event, _loglevel, SIDE_PARAM(_fields), \
-                       SIDE_PARAM(_attr), SIDE_EVENT_FLAG_VARIADIC)
+                       SIDE_EVENT_FLAG_VARIADIC, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
 
-#define side_hidden_event(_identifier, _provider, _event, _loglevel, _fields, _attr) \
-       _side_define_event(__attribute__((visibility("hidden"))), _identifier, _provider, _event, _loglevel, SIDE_PARAM(_fields), \
-                       SIDE_PARAM(_attr), 0)
+#define side_hidden_event(_identifier, _provider, _event, _loglevel, _fields, _attr...) \
+       _side_define_event(__attribute__((visibility("hidden"))), _identifier, _provider, _event, \
+                       _loglevel, SIDE_PARAM(_fields), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
 
-#define side_hidden_event_variadic(_identifier, _provider, _event, _loglevel, _fields, _attr) \
-       _side_define_event(__attribute__((visibility("hidden"))), _identifier, _provider, _event, _loglevel, SIDE_PARAM(_fields), \
-                       SIDE_PARAM(_attr), SIDE_EVENT_FLAG_VARIADIC)
+#define side_hidden_event_variadic(_identifier, _provider, _event, _loglevel, _fields, _attr...) \
+       _side_define_event(__attribute__((visibility("hidden"))), _identifier, _provider, _event, \
+                       _loglevel, SIDE_PARAM(_fields), SIDE_EVENT_FLAG_VARIADIC, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
 
-#define side_export_event(_identifier, _provider, _event, _loglevel, _fields, _attr) \
-       _side_define_event(__attribute__((visibility("default"))), _identifier, _provider, _event, _loglevel, SIDE_PARAM(_fields), \
-                       SIDE_PARAM(_attr), 0)
+#define side_export_event(_identifier, _provider, _event, _loglevel, _fields, _attr...) \
+       _side_define_event(__attribute__((visibility("default"))), _identifier, _provider, _event, \
+                       _loglevel, SIDE_PARAM(_fields), 0, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
 
-#define side_export_event_variadic(_identifier, _provider, _event, _loglevel, _fields, _attr) \
-       _side_define_event(__attribute__((visibility("default"))), _identifier, _provider, _event, _loglevel, SIDE_PARAM(_fields), \
-                       SIDE_PARAM(_attr), SIDE_EVENT_FLAG_VARIADIC)
+#define side_export_event_variadic(_identifier, _provider, _event, _loglevel, _fields, _attr...) \
+       _side_define_event(__attribute__((visibility("default"))), _identifier, _provider, _event, \
+                       _loglevel, SIDE_PARAM(_fields), SIDE_EVENT_FLAG_VARIADIC, SIDE_PARAM_SELECT_ARG1(_, ##_attr, side_attr_list()))
 
 #define side_declare_event(_identifier) \
-       extern uintptr_t side_event_enable_##_identifier; \
+       extern struct side_event_state side_event_state_##_identifier; \
        extern struct side_event_description _identifier
 
+#ifdef __cplusplus
+extern "C" {
+#endif
+
 extern const struct side_callback side_empty_callback;
 
 void side_call(const struct side_event_description *desc,
-       const struct side_arg_vec_description *sav_desc);
+       const struct side_arg_vec *side_arg_vec);
 void side_call_variadic(const struct side_event_description *desc,
-       const struct side_arg_vec_description *sav_desc,
-       const struct side_arg_dynamic_event_struct *var_struct);
+       const struct side_arg_vec *side_arg_vec,
+       const struct side_arg_dynamic_struct *var_struct);
+
+struct side_events_register_handle *side_events_register(struct side_event_description **events,
+               uint32_t nr_events);
+void side_events_unregister(struct side_events_register_handle *handle);
+
+/*
+ * Userspace tracer registration API. This allows userspace tracers to
+ * register event notification callbacks to be notified of the currently
+ * registered instrumentation, and to register their callbacks to
+ * specific events.
+ */
+typedef void (*side_tracer_callback_func)(const struct side_event_description *desc,
+                       const struct side_arg_vec *side_arg_vec,
+                       void *priv);
+typedef void (*side_tracer_callback_variadic_func)(const struct side_event_description *desc,
+                       const struct side_arg_vec *side_arg_vec,
+                       const struct side_arg_dynamic_struct *var_struct,
+                       void *priv);
 
 int side_tracer_callback_register(struct side_event_description *desc,
-               void (*call)(const struct side_event_description *desc,
-                       const struct side_arg_vec_description *sav_desc,
-                       void *priv),
+               side_tracer_callback_func call,
                void *priv);
 int side_tracer_callback_variadic_register(struct side_event_description *desc,
-               void (*call_variadic)(const struct side_event_description *desc,
-                       const struct side_arg_vec_description *sav_desc,
-                       const struct side_arg_dynamic_event_struct *var_struct,
-                       void *priv),
+               side_tracer_callback_variadic_func call_variadic,
                void *priv);
 int side_tracer_callback_unregister(struct side_event_description *desc,
-               void (*call)(const struct side_event_description *desc,
-                       const struct side_arg_vec_description *sav_desc,
-                       void *priv),
+               side_tracer_callback_func call,
                void *priv);
 int side_tracer_callback_variadic_unregister(struct side_event_description *desc,
-               void (*call_variadic)(const struct side_event_description *desc,
-                       const struct side_arg_vec_description *sav_desc,
-                       const struct side_arg_dynamic_event_struct *var_struct,
-                       void *priv),
+               side_tracer_callback_variadic_func call_variadic,
                void *priv);
 
-struct side_events_register_handle *side_events_register(struct side_event_description **events, uint32_t nr_events);
-void side_events_unregister(struct side_events_register_handle *handle);
-
 enum side_tracer_notification {
        SIDE_TRACER_NOTIFICATION_INSERT_EVENTS,
        SIDE_TRACER_NOTIFICATION_REMOVE_EVENTS,
@@ -1396,8 +1909,18 @@ struct side_tracer_handle *side_tracer_event_notification_register(
                void *priv);
 void side_tracer_event_notification_unregister(struct side_tracer_handle *handle);
 
-void side_init(void);
-void side_exit(void);
+/*
+ * Explicit hooks to initialize/finalize the side instrumentation
+ * library. Those are also library constructor/destructor.
+ */
+void side_init(void) __attribute__((constructor));
+void side_exit(void) __attribute__((destructor));
+
+/*
+ * The following constructors/destructors perform automatic registration
+ * of the declared side events. Those may have to be called explicitly
+ * in a statically linked library.
+ */
 
 /*
  * These weak symbols, the constructor, and destructor take care of
@@ -1439,4 +1962,8 @@ side_event_description_ptr_exit(void)
        side_events_handle = NULL;
 }
 
+#ifdef __cplusplus
+}
+#endif
+
 #endif /* _SIDE_TRACE_H */
This page took 0.062455 seconds and 4 git commands to generate.