hc
2023-10-12 3124110e504ba82e43686669ed7188bcdbe72744
1
int __attribute__ ((__model__ (__small__))) x;