The following represents a set of tests that might be considered. The list is not required, nor is it complete, but may be used as a goal for semantic analysis. Run the REJECT cases separately. This guarantees each individual case is rejected.
// ACCEPT
int x(void) { return 4; }
float w(void) { return 4.0E-13; }