1  /* { dg-do compile } */
       2  /* { dg-options "-march=rv32i2p3_m4p2 -mabi=ilp32" } */
       3  int foo()
       4  {
       5  }