// only needed in order to check that we can find 'std'
intrinsic class StdPresent {
}