__bounded => __attribute__((__bounded__