int main() {
	int allocated_amount;
    
    // Set the value of allocated_amount:
    allocated_amount = (int) malloc(42.6 * sizeof(float));

    return 0;
8:24: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
