#include <stdio.h>
#include <stdint.h>

int main() {
    int16_t a_s = -1;
    int a = a_s;
    printf("a = %d, a_s = %d\n", a, a_s);

}