ContractReturnValue (int ordinal) { return switch (ordinal) { case 0, 1 -> returnNull(); case 2 -> returnNotNull(); case 3 -> returnTrue(); case 4 -> returnFalse(); case 5 -> fail(); case 6 -> returnNew(); case 7 -> returnThis(); default -> { if (ordinal >= PARAMETER_ORDINAL_BASE && ordinal <= PARAMETER_ORDINAL_BASE + MAX_SUPPORTED_PARAMETER) { yield returnParameter(ordinal - PARAMETER_ORDINAL_BASE); } yield returnAny(); } }; }