#include <stdio.h>
#include <stdlib.h>
#include <stdbool.h>
#include <assert.h>

int main(int argc, char* argv[]) {
    int num_ints = 3;
    int* array_of_ints = malloc(num_ints * sizeof(*array_of_ints));
    // equivalent to …   malloc(3        * sizeof(int) )
    // equivalent to …   malloc(3        * 4 )  // on our platform
    // equivalent to …   malloc(12           )  // on our platform
    // because array_of_ints is an int*.
    // therefore *array_of_ints is an int.
    // and on our platform, an int consumes 4 bytes,
    // so an array of 3 ints consumes 4 x 3 = 12 bytes.
    
    return EXIT_SUCCESS;
}
/* vim: set tabstop=4 shiftwidth=4 fileencoding=utf-8 noexpandtab: */