hc
2023-11-07 2a9a9d4f6c07f2f23b663fe5fbeac1168a5d1029
1
int __attribute__ ((__model__ (__small__))) x;