#include <stdlib.h>
    #include <stdio.h>
    #include <stdalign.h>
    #include <inttypes.h>
    #include <cheriintrin.h>
    #include <stddef.h>
    
    int main()
    {
        for(unsigned long i=0;i<20;i++)
        {
            void *p = malloc(i);
            ptraddr_t a = cheri_address_get(p);
            if(a % alignof(max_align_t) != 0)
            {
                fprintf(stderr,"not sufficiently aligned pointer\n");
                return(1);
            }
            if(cheri_offset_get(p) != 0)
            {
                fprintf(stderr,"non-zero offset\n");
                return(1);
            }
            if(cheri_length_get(p) < i)
            {
                fprintf(stderr,"allocation too small\n");
                return(1);
            }
            free(p);
        }
        fprintf(stderr,"OK\n");
    }